The removal of the 32-carbon atom as formic acid in cholesterol biosynthesis