The stereochemistry of hydrogen elimination in the biological conversion of 5α-cholest-8-en-3β-ol to 5α-cholest-7-en-3β-ol