The antithrombotic and anticoagulant effects of a synthetic tripeptide and recombinant hirudin in various animal models.