[H][C@]1(C)C(=O)C=C2C[C@@]3(O)C[C@@](C)(CO)C[C@@]3([H])[C@]12C