3α,5-cyclo-5α-cholestan-7α-ol