Halothiophene benzimidazoles as P1 surrogates of inhibitors of blood coagulation factor Xa.