Combination antiretroviral therapy (cART) has greatly increased life expectancy for human immunodeficiency virus-1 (HIV-1)-infected patients. Even given the remarkable success of cART, the virus persists in many different cells and tissues. The presence of viral reservoirs represents a major obstacle to HIV-1 eradication. These viral reservoirs contain latently infected long-lived cells. The "Shock and Kill" therapeutic strategy aims to reactivate latently infected cells by latency reversing agents (LRAs) and kill these reactivated cells by strategies involving the host immune system. The brain is a natural anatomical reservoir for HIV-1 infection. Brain macrophages, including microglia and perivascular macrophages, display productive HIV-1 infection. A mathematical model was used to analyze the dynamics of latently and productively infected brain macrophages during viral infection and this mathematical model enabled prediction of the effects of LRAs applied to the "Shock and Kill" strategy in the brain. The model was calibrated using reported data from simian immunodeficiency virus (SIV) studies. Our model produces the overarching observation that effective cART can suppress productively infected brain macrophages but leaves a residual latent viral reservoir in brain macrophages. In addition, our model demonstrates that there exists a parameter regime wherein the "Shock and Kill" strategy can be safe and effective for SIV infection in the brain. The results indicate that the "Shock and Kill" strategy can restrict brain viral RNA burden associated with severe neuroinflammation and can lead to the eradication of the latent reservoir of brain macrophages.
Keywords: Brain macrophage; Combination antiretroviral therapy (cART); HIV-1; Multiple equilibria; SIV; Shock and Kill strategy; Viral dynamics.