C=C1C(=O)O[C@H]2C/C(C)=C/CC/C(C)=C/CC[C@@]3(C)O[C@@H]3C[C@H]12 isolobophytolide