HIV-1 mutants that escape the cytotoxic T-lymphocytes are defective in viral DNA integration