CO[C@@]1(C)CC[C@]2(C[C@H]1Br)C(C)=CC(=O)CC2(C)C tristichone D