5α-Cholestane-4β,5-diol