4alpha-carboxy-5alpha-cholest-8-ene-3beta-ol + NAD(+) = 5alpha-cholest-8-en-3-one + CO2 + NADH
4alpha-carboxy-5alpha-cholest-8-ene-3beta-ol + nad(+) = 5alpha-cholest-8-en-3-one + co2 + nadh
4alpha-carboxy-5alpha-cholest-8-ene-3beta-ol + NAD(+) = 5alpha-cholest-8-en-3-one + CO2 + NADH
4alpha-carboxy-5alpha-cholest-8-ene-3beta-ol + nad(+) = 5alpha-cholest-8-en-3-one + co2 + nadh