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