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