[K+].C[C@@]12CC3(CC1=C)C(CC2)C12OC(=O)[C@](C)(C1[C@@H]3C([O-])=O)[C@@H](O)C=C2