Abstract:Human immunodeficiency virus (HIV-1 or simply HIV) induces a persistent infection, which in the absence of treatment leads to AIDS and death in almost all infected individuals. HIV infection elicits a vigorous immune response starting about 2-3 weeks post infection that can lower the amount of virus in the body, but which cannot eradicate the virus. How HIV establishes a chronic infection in the face of a strong immune response remains poorly understood. It has been shown that HIV is able to rapidly change its proteins via mutation to evade recognition by virus-specific cytotoxic T lymphocytes (CTLs). Typically, an HIV-infected patient will generate 4-12 CTL responses specific for parts of viral proteins called epitopes. Such CTL responses lead to strong selective pressure to change the viral sequences encoding these epitopes so as to avoid CTL recognition. Here we review experimental data on HIV evolution in response to CTL pressure, mathematical models developed to explain this evolution, and highlight problems associated with the data and previous modeling efforts. We show that estimates of the strength of the epitope-specific CTL response depend on the method used to fit models to experimental data and on the assumptions made regarding how mutants are generated during infection. We illustrate that allowing CTL responses to decay over time may improve the fit to experimental data and provides higher estimates of the killing efficacy of HIV-specific CTLs. We also propose a novel method for simultaneously estimating the killing efficacy of multiple CTL populations specific for different epitopes of HIV using stochastic simulations. Lastly, we show that current estimates of the efficacy at which HIV-specific CTLs clear virus-infected cells can be improved by more frequent sampling of viral sequences and by combining data on sequence evolution with experimentally measured CTL dynamics.

Modeling HIV multiple infection.

A mathematical model for HIV dynamics with multiple infections: implications for immune escape

Analysis of an HIV Model with Immune Responses and Cell-to-Cell Transmission

Modeling Cell-To-Cell Spread of Hiv-1 with Logistic Target Cell Growth

Modeling of HIV-1 Infection: Insights to the Role of Monocytes/Macrophages, Latently Infected T4 Cells, and HAART Regimes

A comprehensive stochastic computational model of HIV infection from DNA integration to viral burst

Analysis of HIV Models with Multiple Target Cell Populations and General Nonlinear Rates of Viral Infection and Cell Death

Mathematical Analysis of an HIV Latent Infection Model Including Both Virus-to-cell Infection and Cell-to-cell Transmission.

Modeling virus-stimulated proliferation of CD4+ T-cell, cell-to-cell transmission and viral loss in HIV infection dynamics

Modelling Hiv Superinfection among Men Who Have Sex with Men

Hybrid Spreading Mechanisms and T Cell Activation Shape the Dynamics of HIV-1 Infection

Modeling Hiv-1 Virus Dynamics With Both Virus-To-Cell Infection And Cell-To-Cell Transmission

Mathematical modeling of escape of HIV from cytotoxic T lymphocyte responses

Systems mapping of HIV-1 infection

A Within-Host Virus Model with Multiple Infected Stages under Time-Varying Environments

Modelling of immune cells as vectors of HIV spread inside a patient human body

A Delayed Hiv-1 Model with Multiple Target Cells and General Nonlinear Incidence Rate

The effects of CTL immune response on HIV infection model with potent therapy, latently infected cells and cell-to-cell viral transmission

Mathematical analysis of an HIV model with latent reservoir, delayed CTL immune response and immune impairment

Modeling Within-Host Viral Dynamics: the Role of CTL Immune Responses in the Evolution of Drug Resistance

Modeling the Role of Macrophages in HIV Persistence During Antiretroviral Therapy