Studies of benzothiophene template as potent factor IXa (FIXa) inhibitors in thrombosis.