HIV-1 integrates into the host chromosome and persists as a provirus flanked by long terminal repeats (LTRs). To date, treatment regimens primarily target the virus enzymes or virus-cell fusion, but not the integrated provirus. We report here the substrate-linked protein evolution of a tailored recombinase that recognizes an asymmetric sequence within an HIV-1 LTR. This evolved recombinase efficiently excised integrated HIV proviral DNA from the genome of infected cells. Although a long way from use in the clinic, we speculate that this type of technology might be adapted in future antiretroviral therapies, among other possible uses.