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