CC(C)[C@@H](C)/C=C/[C@@H](C)[C@H]1CCC2[C@]1(C)CC=C1[C@]23C=C[C@]2(C[C@@H](O)CC[C@]12C)OO3 5α,8α-epidioxy-ergosta-6,9,22E-trien-3β-ol