CC(=O)O[C@H]1CC[C@@]2(C)C(=CCC3C2CC[C@@]2(C)C3CC[C@@H]2[C@H](C)[C@H](O)CC(CO)C(C)(C)O)C1 sardisterol