C[C@@]1(O)CC[C@H]2[C@@H](C=C[C@]3(C)OCC[C@H](O)[C@]23C)C1 libertalide F