Beta-hydroxyaspartic acid in vitamin K-dependent proteins.