C=C1[C@@]23C(=O)O[C@H](C)[C@@]2(O)C(=O)O[C@]1(C)C[C@H]1[C@]2(C)C=CC(=O)OC(C)(C)[C@H]2CC[C@@]13C brasilianoid K