C/C1=C\[C@@H]2O[C@@H](O)[C@@]3(C)O[C@@]23CC/C(C)=C/CC[C@@]2(C)O[C@H]2CC1 laevigatol A