A mathematical model of HIV dynamics in the presence of a rescuing virus with replication deficiency.

Recently, an enzyme (Cre recombinase) has been developed by directed evolution that successfully removes the HIV genome from the nuclear DNA of infected cells. To explore this idea further, we hypothesized that a replication deficient virus (called "police virus"), added externally, can deliver such a recombinase which excises the integrated HIV DNA from the genome of infected cells. Such a "police virus" could attack and remove the integrated provirus which is not possible using contemporary strategies. The hypothesis was tested by developing a mathematical model that describes the dynamics of virus-host cell interaction and the consequences of introducing the "police virus". The simulations show that such a therapeutic vector may eradicate all HIV viruses from the system in the long term. All components of the HIV infection (free virus, latently, and actively infected cells) can be cleared and the system ends up only with susceptible CD4+ cells. The proposed model may provide new insights in the dynamical behavior and future alternative treatments of HIV.