(24ξ)-24-(1-Methylethenyl)-25-methylcholesterol