Text this: Optimization of a lentivirus-mediated gene therapy targeting HIV-1 RNA to eliminate HIV-1-infected cells