CC1=C2CC/C(C)=C/CC[C@]3(C)O[C@H]3CC/C(C)=C\[C@@H]2OC1 sarcophytoxide