CC1=C[C@@H]2C[C@]3(CCO[C@H]3O)C(C)(C)[C@@H]2CC1 spirofragilin