(3b,22S)-Dihydroxy Cholesterol