5α-Cholestan-3-one diethyl acetal