Three-stage modeling of HIV infection and implications for antiretroviral therapy

We consider a deterministic model of HIV infection that involves macrophages as a long-term active reservoir to describe all three stages of the disease process: the acute stage, chronic infection, and the transition to AIDS. The proposed model is shown to retain crucial properties, such as the positivity of solutions, regardless of variations in model parameters. A dynamical analysis is performed to identify the local stability properties of the viral clearance steady state. This analysis illustrates how chronically infected macrophages can explain the progression to AIDS and provoke viral explosion, while previous models do not. We further demonstrate that the infected T-cell population, even if not responsible for the majority of new infections that lead to viral explosion, may contribute significantly to the transition amongst the three stages of infection. Moreover, we explore the implications of the model for the administration of antiretroviral therapy (ART) and provide quantitative estimates that emphasize the time sensitive nature of treatment initiation and the level of drug efficacy. Finally, we study the effects of treatment interruption on the disease dynamics predicted by the model and elucidate the influence of both interruption time and duration.