Human α- and ζ-thrombin inhibition by recombinant HV1 and HV2k47 hirudins