C[C@@H]1C[C@@H]2OC(=O)C(=C)[C@H]2C[C@]2(C)[C@@H](O)[C@@H]3O[C@@H]3[C@@H]12