CC(C)C/C=C/[C@@H](C)C1CCC2[C@]1(C)CCC1[C@]23C=C[C@]2(C[C@@H](O)CC[C@]12C)OO3 5α,8α-epidioxycholest-6-en-3β-ol