5β,6β-epoxycholest-7-en-3β-ol