Vitamin K1 dependent carboxylase: β-Carboxylation of t-butyloxycarbonylaspartic acid α-benzyl ester