Email Post: WIDOCK: a reactive docking protocol for virtual screening of covalent inhibitors