X-ray structure of the human alpha-thrombin complex with a tripeptide phosphonate inhibitor.