(20S)-3β-Hydroxy-5α-cholestan-18,20-lacton