C[C@]12C[C@@H](O)C(=O)[C@](C)(CO)[C@@H]1CC[C@@]1(CO)c3cocc3CC[C@@H]12 isospongiatriol