On the intermediacy of carboxyphosphate in biotin-dependent carboxylations.