The antithrombotic effect of potent bifunctional thrombin inhibitors based on hirudin sequence, P551 and P532, on He-Ne laser-induced thrombosis in rat mesenteric microvessels.