Engineering T cell resistance to HIV-1 infection via knock-in of peptides from the heptad repeat 2 domain of gp41