The stereochemistry of hydrogen transfer from reduced nicotinamide–adenine dinucleotide phosphate in the reduction of ethylenic linkages during cholesterol biosynthesis