23-methylcholesta-5,23(E)-dien-3β-ol