C=C[C@@]1(C)CC[C@H](C(C)=O)C[C@@H]1C(=C)C lobocalone