(3beta)-cholest-5-en-3-ylpropanedioic acid