CC1=CC(=O)C[C@]2(C)CC[C@@H](C(C)(C)O)C[C@@H]12 isopterocarpolone