The direct thrombin inhibitor hirudin