"3beta-hydroxysteroid-4alpha-carboxylate 3-dehydrogenase (decarboxylating)"
"3beta-hydroxysteroid-4alpha-carboxylate 3-dehydrogenase (decarboxylating)"
"3beta-hydroxy-4beta-methylcholestenoate dehydrogenase"
"3beta-hydroxy-4beta-methylcholestenoate dehydrogenase"