Term Name:	4alpha-carboxy-5alpha-cholest-7-en-3beta-ol(1-)
Synonyms:	3beta-hydroxy-5alpha-cholest-7-ene-4alpha-carboxylate, 4alpha-carboxy-5alpha-cholest-7-en-3beta-ol
Definition:
Ontology:	ChEBI [CHEBI:145943]  ( EBI )