C[C@H]1CC[C@@H]2[C@H]([C@@H]3C1=CC(=O)[C@@H]3C)[C@]2(C)CO pseuboydones B