SYNTHESIS OF TWO ANALOGS OF A CYCLIC HEXAPEPTIDE WITH DISULFIDE BRIDGE CORRESPONDING TO BOVINE PROTHROMBIN PRECURSOR SEQUENCE 18-23. EXTENT OF CARBOXYLATION BY VITAMIN K-DEPENDENT CARBOXYLASE