C=C[C@@]1(C)CC[C@@]2(C)[C@@H](CC[C@@]3(C)[C@@H]2C=C(O)C(=O)[C@@]32CO2)C1 tagalsin A