C[C@]1(C(=O)CO)CC[C@@]2(C)[C@@H](CC[C@]3(C)C(=O)C(O)=CC[C@H]23)C1 tagalene J