C=C[C@@]1(C)CC[C@@]2(C)[C@@H](CC[C@]3(C)C(=C)[C@@H](O)C[C@H]23)C1 tagalol A