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