24α-Ethylcholesterol