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