The synthesis of thrombin inhibitor L-370,518 via an α-hydroxy-β-lactam