C/C1=C\CC[C@@](C)(O)/C=C/[C@](O)(C(C)(C)O)CC/C(C)=C/CC1 sarcophytrol J