CC1(C)[C@H](Br)[C@H](O)C[C@@]2(CO2)[C@@]12CCC(=O)[C@@H]1O[C@@H]12 tristichone B