Origin of the carbon atoms of biotin