Covalent fusion inhibitors targeting HIV-1 gp41 deep pocket