C/C1=C\CC[C@](C)(O)/C=C/[C@](O)(C(C)(C)O)CC[C@@]2(C)O[C@@H]2CC1 sarcophytrol K