CC(=O)[C@]1(C)[C@H]2CC[C@H](C)C[C@@H]2[C@H](Cl)[C@@H](O)[C@@]1(C)O libertalide K