Nature of products formed in the vitamin K-dependent carboxylation of synthetic peptides