CC(=O)O[C@H]1C[C@](C)(O)/C=C/CC(C)CC(=O)CC2=C[C@@H](OC2=O)[C@@H]1C(C)C sarcophytonolide K