CC(CC[C@@H](C)[C@H]1CC[C@H]2[C@@H]3C[C@H](O)[C@H]4[C@@H](O)[C@H](O)[C@@H](O)C[C@]4(C)[C@H]3CC[C@]12C)C(C)(C)C 4β-hydroxyhalistanol