q-bio0603003/X4R5.tex
1: % Template article for preprint document class `elsart'
2: % SP 2001/01/05
3: 
4: \documentclass[a4]{elsart}
5: 
6: \usepackage{isolatin1}
7: \usepackage{graphicx}
8: \usepackage{color}
9: \usepackage{amssymb}
10: \usepackage{amsmath}
11: \usepackage{latexsym}
12: %\usepackage{lineno}
13: %\usepackage{showlabels}
14: \setlength{\textwidth}{15cm} \setlength{\oddsidemargin}{-0cm}
15: \setlength{\textheight}{23cm} \setlength{\topmargin}{-.5cm}
16: \newcommand{\rmd}{\text{d}}
17: \newcommand{\dfracp}[2]{\dfrac{\partial #1}{\partial #2}}
18: \newcommand{\dfracd}[2]{\dfrac{\text{d} #1}{\text{d} #2}}
19: \newcommand{\average}[1]{\left\langle #1 \right\rangle}
20: \newcommand{\comment}[1]{{\bf \textsf{#1}}}
21: %\linespread{1.6}
22: %\graphicspath{}
23: 
24: \DeclareGraphicsExtensions{.eps}
25: \begin{document}
26: 
27: \begin{frontmatter}
28: 
29: \title{Mathematical Model of HIV superinfection dynamics and R5 to X4 switch}
30: 
31: \author{L. Sguanci\thanksref{a}\thanksref{c}},
32: \author{P. Li\`{o}\thanksref{b}\thanksref{1}},
33: \author{F. Bagnoli\thanksref{a}\thanksref{c}}
34: 
35: \address[a]{Dipartimento di Energetica, Universit\`{a} di Firenze, Via S. Marta 3, 50139 Firenze, Italy.}
36: \address[b]{Computer Laboratory, University of Cambridge, CB3 0FD Cambridge, UK.}
37: \address[c]{INFN, sezione di Firenze and CSDC.}
38: 
39: \thanks[1]{pietro.lio@cl.cam.ac.uk}
40: 
41: 
42: 
43: \begin{abstract}
44: % Text of abstract
45: During the HIV infection several quasispecies of the virus arise,
46: which are able to use different coreceptors, in particular the
47: CCR5 and CXCR4 coreceptors (R5 and X4 phenotypes, respectively).
48: The switch in coreceptor usage has been correlated with a faster
49: progression of the disease to the AIDS phase. As several
50: pharmaceutical companies are starting large phase III trials for
51: R5 and X4 drugs, models are needed to predict the co-evolutionary
52: and competitive dynamics of virus strains. We present a  model of
53: HIV early infection which describes the dynamics of R5 quasispecies
54: and a model of HIV late infection which describes the R5 to X4
55: switch. We report the following findings: after superinfection or
56: coinfection, quasispecies dynamics has time scales of several
57: months and becomes even slower at low number of CD4+ T cells. The
58: curve of CD4+ T cells decreases, during AIDS late stage, and can
59: be described taking into account the X4 related Tumor Necrosis
60: Factor dynamics. Phylogenetic inference of chemokine receptors
61: suggests that viral mutational pathway may generate R5 variants
62: able to interact with chemokine receptors different from CXCR4.
63: This may explain the massive signaling disruptions in the immune
64: system observed during AIDS late stages and may have relevance for
65: vaccination and therapy.
66: \end{abstract}
67: 
68: \begin{keyword}
69: % keywords here, in the form: keyword \sep keyword
70: HIV \sep viral dynamics \sep quasispecies \sep coinfection \sep superinfection
71: % PACS codes here, in the form: \PACS code \sep code
72: \PACS
73: 87.23.Kg \sep
74: 87.16.-b \sep
75: 87.16.Ac
76: \end{keyword}
77: \end{frontmatter}
78: 
79: 
80: 
81: % main text
82: \section{Introduction}
83: \label{sec:Introduction}
84: 
85: 
86: Human immunodeficiency virus type 1 (HIV-1) infection is
87: characterized by the progressive loss of CD4+ T cells. Infection
88: by most strains of HIV-1 requires interaction with CD4 and a
89: chemokine receptor, either CXCR4 or CCR5. During early stages of
90: HIV-1 infection, viral isolates most often use CCR5 to enter cells
91: and are known as R5 HIV-1. Later in the course of HIV-1 infection,
92: viruses that use CXCR4 in addition to CCR5 (R5X4) or CXCR4 alone
93: (X4 variants) emerge in about 50\% patients (switch virus
94: patients)~\cite{KF2004,GG2005}. These strains are
95: syncytium-inducing and are capable of infecting not only memory T
96: lymphocytes but also naïve CD4+ T cells and thymocytes through the
97: CXCR4 coreceptor. The switch to use of CXCR4 has been linked to an
98: increased virulence and with progression to AIDS, probably through
99: the formation of cell syncytia and killing of T cell precursors.
100: X4 HIV strains are rarely, if ever, transmitted, even when the
101: donor predominantly carries X4 virus. CXCR4 is expressed on a
102: majority of CD4+ T cells and thymocytes, whereas only about 5 to
103: 25\% of mature T cells and 1 to 5\% of thymocytes express
104: detectable levels of CCR5 on the cell surface~\cite{GS2005}. It is
105: noteworthy that X4 HIV strains stimulate the production of
106: cellular factor called Tumor Necrosis Factor (TNF), which is
107: associated with immune hyperstimulation, a state often implicated
108: in T-cell depletion~\cite{HS2005a}. TNF seems able to both inhibit
109: the replication of R5 HIV strains while having no effect on X4 HIV
110: and to down regulate the number of CCR5 co-receptors that appear
111: on the surface of T-cells~\cite{PY2004}.
112: 
113: A powerful concept in understanding HIV variability and its
114: consequences is that of quasispecies~\cite{ES1989}. Quasispecies
115: are the combined result of mutations and recombination, that
116: originate variability, and of  co-infection (simultaneous
117: infection), superinfection (delayed secondary infection) and
118: selection, that keep variability low. HIV-1-infected individuals
119: show heterogeneous viral populations of related genomes best
120: described as viral quasispecies~\cite{BE2005}.
121: Infact, the infection capacity of mutants may vary, and also their
122: speed of replication~\cite{NP1998}. Moreover, since the number of
123: targets (the substrate) is limited, fitter clones tend to
124: eliminate less fit mutants, which are subsequently regenerated by
125: the mutation mechanism~\cite{ES1977}. While mutations are an
126: essential ingredient for exploring the genetic space in the search
127: for the fitness maximum, they also lowers the average fitness of
128: the strain, that generally is formed by a cloud of mutants around
129: the fitness maximum, the quasispecies. It's worth noting that, for
130: a given fitness landscape, there is a maximum tolerable mutation
131: rate above which the quasispecies structure is lost (error
132: threshold~\cite{ES1989}).
133: 
134: The use of mathematical models is an insightful and essential complement to in vivo and in vitro experimental design and interpretation. Indeed mathematical models of HIV dynamics have proven valuable in understanding the mechanisms of many of the observed features of the progression of the HIV infection~\cite{HM1995,CP2004,CS1996,DP1995,WN2002,PH1996,WP2004,WS1995}. With the incorporation of accurate stoichiometries, gene expression levels and detailed kinetic information, from bioinformatics of sequence analysis and molecular dynamics, mathematical models will be even more effective in predicting time and space patterns and the effects of drug therapy.
135: 
136: Here we address the issue of studying the coevolutive and competitive dynamics of different strains of HIV-1 virus also leading to the R5 to X4 phenotype switching. In doing this in the next section we introduce two models: a quasispecies model for R5 phase in which several R5 strains appear by mutations, co-infection and superinfection. In the limit of 1 quasispecies we are able to find the same values observed experimentally and in other models (most notably Perelson's standard model). We test the model in the scenarios of co-infection and superinfection using parameters derived from biological literature. The second model focuses on the R5 to X4 shift and the hyperstimulation of T cell precursors through TNF. We are able to describe the decreasing dynamics of CD4+ after the appearance of X4 strains and make predictions on the HAART results in coinfection and superinfection scenarios at different times of the disease progression. We make use of phylogenetic models of the amino acid sequences of the human and mice chemokine receptor families to investigate the mutational pathway underlying the switching from different chemokine receptors. Finally we find that the switch from R5 to X4 may allow the HIV to bind to other chemokine receptors.
137: 
138: \section{Models}
139: 
140: \subsection{A model of the early R5 phase}
141: 
142: In someone who is newly infected by HIV, several variants of the
143: virus, called R5, are often the only kind of virus that can be
144: found. A meaningful way to model strain mutations, coinfection and
145: superinfection is to extend Perelson's standard
146: model~\cite{PH1996} to multiple strains and incorporate immune
147: response to R5 quasi species amplification (in the following termed QSR5 model). The R5  quasispecies
148: dynamics can be described by the following set of equations:
149: 
150: \begin{align}
151: \dot{T}_{i}  &= \left(
152: \lambda_{i}+\sum_{k}\gamma_{ik}^{(T)}I_{k}T_{i}\right)
153:   \left(  1-\frac{1}{K}\sum_{i}T_{i}\right)  -
154:   \left(  \delta_{T}+\sum_{k}\beta_{k}V_{k}\right)T_{i}  ,\label{Ti}\\
155: \dot{I}_{k}  &= \left(  \sum_{k^{\prime}}\mu_{kk^{\prime}}
156: \beta_{k^{\prime}}V_{k^{\prime}}\right)\left(\sum_{i}T_{i}\right)
157:  -\left(  \delta_{I}+\sum_{i}\gamma_{ki}^{(I)}T_{i}\right)I_{k}
158:  ,\label{Ik}\\
159: \dot{V}_{k}  &= \pi
160: I_{k}-\left(c+\sum_{i}\gamma_{ki}^{(V)}T_{i}\right)V_{k}.\label{Vk}
161: \end{align}
162: 
163: The following cell types are considered: T-helper (CD4+) cells
164: carrying the CCR5 co-receptor responding to virus strain $i$,
165: ($T_{i}$); T cells infected by virus strain $k$, ($I_{k}$); $k$
166: strains of R5 virus, ($V_{k}$). We have thus assumed that viral
167: strain $k$ are identified by just one epitope, which is then
168: displayed on the surface of the T cell of class $k$,  and that a T
169: cell of class $i$ can be activated at least by one CD4+ T cell
170: carrying the epitope $k$, which is specific of the viral strain
171: $k$. The indices $i$ ($k$) range from 1 to $N_i$ ($N_k$), and in
172: the following we have used $N_i=N_k=N$.
173: 
174: In Equation~\eqref{Ti} T cells are generated through two
175: mechanisms: the bone-marrow source (and selection in the thymus)
176: and the duplication of T cell strains activated upon the
177: recognition with an antigen carrying cell that may be even an
178: infected one. We modeled T cells activation as a logistic term
179: mimicking the global carrying capacity of immune
180: system~\cite{BS2005}.
181: 
182: The death-rate term is composed by a natural death rate
183: proportional to the population, and by the infection rate of T
184: cells due to any viral strain. The term
185: $\sum_{k}\beta_{k}V_{k}T_{i}$ and the sum over $T_{i}$ in the $I$
186: cell birth rate reproduce the infection probability, that is the
187: same irrespective of the T class. As a cell become infected it
188: does no more contribute to the immune response.
189: 
190: Equation~\eqref{Ik} describes the infection dynamics. The two
191: death rate parameters account for the decrease of the infected
192: cells due to cellular death and after the action of T-killer cells
193: (CD8+). Even if there are clear experimental evidences that CD4+
194: cells decrease during the late HIV infection stages and in the
195: AIDS state, as far as the asymptomatic phase of the infection is
196: concerned, the parameter $\delta^I$ may be assumed as a constant,
197: medical literature referred, value.
198: 
199: The $\mu_{kk^{\prime}}$ term is responsible of the mutation
200: process affecting the phenotype, essential for the formation of
201: new quasispecies. The choice of a mutation rate of the order of
202: $10^{-5}$ is based on considering only those non-synonymous
203: mutations that alter the phenotype (protein
204: structure)~\cite{BS2005}.
205: 
206: In Equation~\eqref{Vk} the virus replicative dynamics is
207: described. The birth rate term is proportional to the virus
208: "budding" numerosity while the viral death rate parameters depend
209: on the  rate of natural death and accounts for the recognition of
210: virus by B cells.
211: 
212: It's worth noting that B-cells and T-killer cells are only
213: implicitly included in the model in order to reduce the
214: dimensionality without loosing too many details. We assume that
215: these responses are fast enough to be at equilibrium and they are
216: just proportional to the abundance of (cognate) $T$ helper cells.
217: 
218: The three $\gamma$ parameters $\gamma^{(T)}$,
219: $\gamma^{(I)}$ and $\gamma^{(V)}$ are matrices
220: describing the interactions between cells and/or cells and
221: viruses, i.e.\ who will interact with whom, in terms of geometry
222: and strength of the interaction. It is thus possible to consider
223: which strains of the virus are recognized and with which accuracy,
224: and the same for the action of T-killer cells and B-cells. It is
225: also worth noting that $\gamma^{(T)}_{ii}$ is the most important
226: determinant of the viral fitness~\cite{BS2005}.
227: 
228: 
229: \subsection{Modeling the transition R5 to X4}
230: In about half of the people who develop advanced HIV disease, the
231: virus begins to use another co-receptor called CXCR4 (X4 viral phenotype). The
232: shift to using CXCR4 is considered a bad sign because it is often
233: accompanied by a dramatic increase in the rate of T-cell
234: depletion. The inability of the thymus to efficiently compensate
235: for even a relatively small loss of naïve T cells may be a key
236: factor for CD4+ T cells depletion and AIDS progression. We
237: hypothesize that it may not be exhaustion of homeostatic
238: responses, but rather thymic homeostatic inability along with
239: gradual wasting of T cell supplies through hyperactivation of the
240: immune system that lead to CD4 depletion in HIV-1 infection.
241: \begin{figure}[t]
242:   \centering
243:   \includegraphics[height=0.5\textheight]{modelB}
244:   \caption{Schematic description of the model for the switching from R5 to X4 viral phenotype. Na\"ive T-cells, $U$, are generated at constant rate $N_U$ and removed at rate $\delta^U$. They give birth to differentiated, uninfected T-cells, $T$. These in turn are removed at constant rate $\delta^T$ and become infected as they interact with the virus. Infected T-cells, $I$, die at rate $\delta^I$ and contribute to the budding of viral particles, $V$, that are cleared out at rate $c$. As soon as the X4 phenotype arise, the production of the TNF starts, proportional to the X4 concentration and contribute to the clearance of na\"ive T-cells, via the $\delta^{U}_{F}$ parameter.}
245:   \label{fig:modelB}
246: \end{figure}
247: We here introduce a modified version of the previous model, that
248: considers only CD4 dynamics. Neither B nor CD8+ T cells are
249: explicitly modeled and the space that now is considered is that of
250: different phenotypes of the virus (we term this model R5toX4 model). Under those assumptions we may
251: focus on the  appearance of X4 viruses and on their subsequent
252: interaction with R5 strains.
253: 
254: \begin{eqnarray}
255: %  U
256: %  dU = N_tim - delta_tim*F*U - delta_tim_tnf*U*F
257: \dfracd{U}{t} &=& N_{U} - \delta^{U} U -
258: \delta^{U}_{F} U F
259: \label{eq:U} \\
260: %  T
261: %  dT = delta_tim*U - delta_T*T - (beta \cdot V)*T
262: \dfracd{T_i}{t} &=& \delta^{U} U - \left( \sum_k \beta_k V_k
263: \right) T_i - \delta^T T_i
264: \label{eq:T} \\
265: %  I
266: %  dI = V*beta*mu*T - delta_I*I - sum_k(delta_I_tnf*V)*I */
267: \dfracd{I_k}{t} &=& \left(\sum_{k'} \mu_{kk'} \beta_{k'}
268: V_{k'}\right) \left(\sum_i T_i\right) - \delta^I I
269: \label{eq:I} \\
270: %  V
271: %  dV = pi*I - sum_k' ( delta_V_k' * V_k' * V_k ) - c*V    */
272: \dfracd{V_k}{t} &=& \pi I_k - c V_k
273: \label{eq:V} \\
274: %  F
275: %  F = k_tnf * sumV */
276: \dfracd{F}{t} &=& k_{F} \sum_{k \in X4} V_k
277: \label{eq:TNF}
278: \end{eqnarray}
279: 
280: 
281: In the equations above, the variables modeled are the pool of
282: immature CD4+ T cells, $U$, the different strains of uninfected
283: and infected T cells ($T$ and $I$, respectively), HIV virus, $V$,
284: and the concentration of TNF, $F$. A schematic view of the model is depicted in
285: Fig.\ref{fig:modelB}. The value of the parameters introduced with respect to the R5
286: model are summarized in Table~\ref{table:param}.
287: 
288: 
289: {\centering
290: \begin{table}
291: {\scriptsize \textsf{
292: \begin{tabular}{llcc}
293: \hline
294: Parameter & Symbol & Value & Units of Meas.\\
295: \hline
296: Production of immature T cells & $N_U$ & 100 & cell/$\mu$l $t^{-1}$\\
297: Death rate of immature T cells & $\delta^U$ & 0.1 & $t^{-1}$\\
298: Death rate of immature T cells upon the interaction with TNF & $\delta^U_F$ & $10^{-5}$ & $\mu$l/cell $t^{-1}$\\
299: Decreasing infectivity of R5 phenotype due to TNF & $k_{R5}$ & $10^{-7}$ & $(\mu l/\text{cell})^2\ t^{-1}$\\
300: Increasing infectivity of R5 phenotype due to TNF & $k_{X4}$ & $10^{-7}$ & $(\mu l/\text{cell})^2\ t^{-1}$\\
301: Increasing death rate of immature T cells due to TNF & $\delta^I_{X4}$ & 0.0005 & $\mu$l/cell $t^{-1}$\\
302: Rate of production of TNF & $k_F$ & 0.0001 & $t^{-1}$\\
303: \hline
304: \end{tabular}
305: \\
306: \label{table:param}
307: \caption{Model for the R5 to X4 phenotypic switch: a summary of the additional parameters introduced. The value of the other parameters are medical literature referred, see also~\cite{BC2000}.}
308: }}
309: \end{table}
310: }
311: 
312: 
313: In particular, Equation~(\ref{eq:U}) describes the constant
314: production of immature T cells by the thymus $N_{U}$ and their
315: turning into mature T cells at rate $\delta^{U}$. If X4 viruses
316: are present, upon the interaction with TNF, immature T-cells are
317: cleared at fixed rate $\delta^{U}_{F}$.
318: 
319: Equation~(\ref{eq:T}) describes how uninfected mature T cells of strain $i$ are produced at fixed rate $\delta^{U}$ by the pool of immature T cells. Those cells, upon the interaction with any strain of the virus, $V_k$, become infected at rate $\beta_k=\beta \quad \forall k$. The infectiousness parameter, $\beta$, is not constant over time, but depends on the interplay between R5 and X4 viruses. In particular, due to the presence of TNF, the infectivity of R5 strains is reduced ($\beta_{R5}(t)=\beta-k_{R5}F(t)$), while the one of X4 viruses increases, with constant of proportionality $k_{X4}$ ($\beta_{X4}(t) = \beta + k_{X4}\ F(t)$), mimicking the cell syncytium effect induced by the TNF molecule.
320: 
321: 
322: Equation~(\ref{eq:I}) describes the infection of mature T-cells.
323: Infected T-cells of strain $k$ arise upon the interaction of a
324: virus of strain $k$ with any of the mature T-cell strains. The
325: infected cells, in turn, are cleared out at a rate $\delta^I$. When
326: TNF is released, this value increases linearly with constant
327: $\delta^I_{X4}$, $\delta^I(t) = \delta^I + \delta^I_{X4}\ F(t)$.
328: 
329: Equation~(\ref{eq:V}) is close to that in the R5 quasispecies model, a part from different viral phenotypes being here considered.
330: 
331: Finally, in Equation~(\ref{eq:TNF}), we model the dynamics of
332: accumulation of TNF by assuming the increase in TNF level to be
333: proportional, via the constant $k_{F}$, to the total
334: concentration of X4 viruses present.
335: 
336: \subsection{Investigating the mutational pathway from R5 to X4}
337: In our model we represent the different phenotypes by using a
338: linear strain space, see for instance~\cite{GG2002,LL2002} for
339: similar assumptions. The strain space is ordered in terms of
340: phenotype similarity. This assumption is justified if the
341: phenotypes are determined by few viral protein functional
342: determinants which are both independent and differ only few DNA
343: bases, i.e. few mutations can change one determinant into another.
344: 
345: Although we are aware of the several recent works on HIV
346: mutational dynamics and phylogenetic assessments, we thought that
347: a meaningful way to estimate the mutational pathways between R5
348: and X4 seen is to use phylogenetic inference on chemokine receptor
349: families. The assessment of phylogenies using likelihood framework
350: depends on the choice of an evolutionary model~\cite{WLG2001}. We computed the
351: maximum likelihood (ML) analysis of the CRs data set under
352: different models of evolution:~\cite{DO1978}, JTT~\cite{JT1994},
353: WAG~\cite{WG2001}. We used these models considering the
354: incorporation of the amino acid frequencies of the chemokine data
355: sets, (`+$F$'), and the heterogeneity of the rates of evolution,
356: implemented using a gamma distribution (`+$\Gamma $')~\cite{Y1994,Y1997}.
357: 
358: \section{Results}
359: 
360: We have first extended Perelson's standard model~\cite{PH1996}
361: to incorporate different antigen recognition abilities by the
362: immune system and coexistence dynamics of different R5 strains of
363: HIV virus. Our approach is a mean field one, i.e. we investigate the
364: average quantities of these molecular species~\cite{R2002,L2003,HH2004,AW2002,GH2005}. Then, we have
365: modified the model to describe features of the latent phase of the
366: infection, i.e. the R5 to X4 switch and the hyperstimulation of the T
367: cell precursors through the TNF.
368: 
369: \subsection{Amplification of R5 strains: mutation, co-infection and super-infection}
370: Recent works have shown that HIV quasispecies may compete~\cite{CD2000} and cooperate~\cite{VA2006} and that persistence of the initial or ancestor
371: quasispecies is a good indicator for disease progression
372: \cite{BL2005}. Burch and Chao~\cite{BC2000} have stressed that the
373: evolution of an RNA virus is determined by its mutational
374: neighborhood. As the phenotype divergence among viral strains
375: arises from differences in selection pressure, these differences
376: may lead, for instance, to a higher infection rate. Since the
377: competition is through the immune system response and given that
378: the phase space of antigen recognition is not homogeneously
379: covered~\cite{DP1992}, the HIV high mutation rate allows the
380: quasispecies to find regions with weak immune response. This
381: competition may lead to speciation of viral strains.
382: 
383: 
384: \begin{figure}[t]
385:   \centering
386:   \includegraphics[width=0.4\textwidth]{ev-a}
387:   \includegraphics[width=0.4\textwidth]{ev-b}
388:   \caption{Typical time evolution of the T cell abundance
389:     in the R5 model for short-term (a) and long-term
390:     behavior (b). We set $\mu=10^{-5}$ with $N=5$.
391:     In the inset, the y-axis on the left reports the abundance of
392:     virus strains at time $t$=50 in plot (a) and $t$=3000 in plot (b);
393:         the y-axis on the right shows the interaction
394:     strength (dashed line) between T cells and virus phenotypes (x-axis).}
395:   \label{fig:ev}
396: \end{figure}
397: 
398: % ----  Figura 1, evolution
399: If we consider the model of the early phase of the infection, the evolution of T cells abundances in a scenario of quasispecies is shown in Fig.~\ref{fig:ev}a. As the asymptotic state of our model is a fixed point, the asymptotic distribution is insensitive of the initial conditions, and the strains corresponding to higher fitness are more abundant (see inset of Fig.~\ref{fig:ev}b). However, one should consider that this asymptotic state may be reached after such a long time that it may be outside any practical scenario of the progression of a disease. The role of mutations in the transitory regime is quite particular. First of all, starting from the first inoculum at time $t=0$ on the zeroth phenotype, mutations are necessary to populate the other strains of the virus, see also Fig.~\ref{fig:ev}. Moreover, in the presence of coupling among strains, due to competition or to a global constraints (the $K$ parameter), the specific form of mutations does not play a fundamental role, see also Ref.~\cite{BB1997}.
400: 
401: 
402: 
403: % ----  Figura 2, superinfection
404: Figs.~\ref{fig:super}a and~\ref{fig:super}b report the results of short time and long term viral coevolution after superinfection, respectively.
405: We considered the first viral inoculum to happen at time $t=0$, with the superinfection event occurring at time $t=20$, when the immune response to the first inoculum has completed and the virus has established a chronic infection.
406: After the second inoculum the model exhibits a short transient, followed by a slow mounting of the second infection. Due to the resulting low dynamics, the time needed by the second quasispecies to reach the same level of the other amounts to several months (Fig.~\ref{fig:super}a), and represents another example of a slow relaxation toward a fixed-point equilibrium.
407: We may also take into consideration the progression of the disease, characterized by a compromised immune system, assuming, as a first approximation, a lower number of T cells, \emph{i.e.} a lower value of $\lambda$, with respect to the previous scenario. In this case the strain corresponding to the second inoculum requires much longer time to reach the same abundances of the first strain (Fig.~\ref{fig:super}b).
408: \begin{figure}[t]
409:   \centering
410:   \includegraphics[width=0.6\textwidth]{super-a}\\
411:   \includegraphics[width=0.6\textwidth]{super-b}
412:   \caption{Viral counts, $V$, during a superinfection scenario. We set $N$=5 and no mutation is considered, thus $\mu$=0. (a) A slow mounting of the second viral infection ($\Box$), having time scale of several months, is observed. In (b) a compromised immune system is considered. The time for the second strain to reach the same abundance of the first-infecting strain ($\Diamond$) is greater than in (a).}
413:   \label{fig:super}
414: \end{figure}
415: 
416: % --- HAART treatment
417: If we consider HAART therapy, is interesting to address the question of what happens if a patient suddenly stops the drugs treatment. During HAART virus load in blood declines, but the virus is not definitively eradicated. At the same time T cells recover and their concentration arise towards the stationary state corresponding to the low-level concentration of the virus. As the treatment is interrupted, virus level begins to increase again. Something similar to a second, delayed infection, occurs. It's worth noting that, if more than one viral strain is present, as in the case of a coinfected or superinfected patient, the second infection may lead to a different asymptotic dominant strain. Infact the growth velocities of the different phenotypes of the virus depend both on the concentration of uninfected T cells and on the fitness of the different strains. Thus a more aggressive strain or one with a weaker recognition by the immune system may take advantage of the interruption of the drugs treatment and of the renewed infection, leading to an acceleration of the disease.
418: 
419: \begin{figure}[t]
420:   \centering
421:   \includegraphics[width=0.4\textwidth]{spec-0}
422:     \includegraphics[width=0.4\textwidth]{spec-45} \\
423:   \includegraphics[width=0.4\textwidth]{spec-525}
424:     \includegraphics[width=0.4\textwidth]{spec-575} \\
425:   \caption{Speciation of virus quasispecies and uninfected T cells dynamics
426: after competitive superinfection at four different times: $t=0$
427: (a), $t=4.5$ (b), $t=5.25$ (c) and $t=5.75$ (d). Virus strain 15
428: is present at time $t=0$, while strain 5 is inoculated at time
429: $t=1$. Mutation rate $\mu=10^{-4}$ and non-uniform interaction
430: strength as in Fig.~\ref{fig:ev}. The dashed line represents the
431: abundances of T cells targeting each viral phenotype, represented as vertical stems.}
432:   \label{fig:speciation}
433: \end{figure}
434: 
435: % ----  Figura 3, speciation
436: Finally we have studied how the co-evolutionary and competitive dynamics of viral strains, mediated by the immune response, may lead to the formation of new viral quasispecies.
437: In Fig.~\ref{fig:speciation} we consider a phenotypic space of 25 strains and the first inoculum is at phenotype 15 (Fig.~\ref{fig:speciation}a), followed by a delayed inoculum at phenotype~5 at time $t=1$.
438: We account for the differences in recognition ability of viral antigens by T cells by using a non-uniform interaction strength which favor the central phenotypes. The immune system does not discriminate among similar phenotypes, thus inducing a competition among neighboring strains. The result of this induced competition is the separation of the original quasispecies into two clusters (quasi-speciation), Fig.~\ref{fig:speciation}b. However the immune system response continues to change in time (Figs.~\ref{fig:speciation}c-d), resulting into a complex coevolution with viral populations.
439: 
440: \subsection{R5 to X4 switch}
441: \begin{figure}[t]
442:   \centering
443:   \includegraphics[width=0.8\textwidth]{x4}
444:   \caption{Time evolution of the concentrations of uninfected T-cells ($\Diamond$) and viruses (+), during R5 to X4 switch, occurring at time $t \approx 900$. The time of appearance of the X4 strains depends on the mutation rate and on the phenotypic distance between R5 and X4 viruses. After the  appearance of the X4 phenotype a continuous slow decline in CD4+ T-cells level leads to AIDS phase (CD4 counts below 200cells/ml). We set $\mu \approx 0.001$ and $d_P \approx 5$.}
445:   \label{fig:X4}
446: \end{figure}
447: We studied the coevolutive dynamics leading to X4 strain  appearance by successive mutations of the ancestor R5 strain. The stimulated production of TNF regulate the interactions between immune response and the virus and between the different strains of HIV virus. The results of these interactions are a decline in T-cells level, leading to the AIDS phase of the disease, and the decline in levels of viruses using the R5 coreceptor.
448: In Fig.~\ref{fig:X4} the temporal evolution of the infection is shown, with the  appearance of the X4 strain, and the successive decline in T-cells abundances.
449: The time at which the phenotypic switch occurs depends both on the mutation rate $\mu$ and on the phenotypic distance between R5 and X4 strains, $d_P$. Once experimental data are known, it's possible to tune the model parameters to their corresponding biological values. Moreover, to get a better insight on the range of variability of the time of appearance of X4 phenotype, a sensitivity analysis for varying values of the $\mu$ and $d_P$ parameters is still possible.
450: 
451: % --- HAART
452: \begin{figure}[t]
453:   \centering
454:   \includegraphics[width=0.8\textwidth]{haart}
455:   \caption{The efficacy of HAART therapy may be disrupted by a sudden interruption in drugs treatment. If time has passed for mutations to populate the R5 strains closer to the X4 phenotypes, an earlier appearance of X4 strains may occur. Uninfected T-cells ($\Diamond$) and viruses (+). Parameters as in Fig.~\ref{fig:X4}.}
456:   \label{fig:haart}
457: \end{figure}
458: In Fig.~\ref{fig:haart} we considered HAART treatment, which is usually able to decrease the concentration of the virus in the blood and delay the X4 appearance. The use of this model suggests a possible scenario in the case of a sudden interruption in the therapy. If the different R5 strains experience the same selection pressure, as soon as the therapy is stopped, the X4 strain may appear sooner. Infact during the treatment the concentration of the different strains of R5 viruses is kept to a very low level while T-cell abundances increase. As the therapy is interrupted, all the strains give rise to  a renewed infection, but now also the strains closer to the X4 co-receptor using viruses are populated, and a mutation leading to an X4 strain occurs sooner.
459: 
460: % --- SUPERINFECTION
461: \begin{figure}[t]
462:   \centering
463:   \includegraphics[width=0.7\textwidth]{X4-super}
464:   \caption{CD4+ T-cells concentration during HIV-1 super-infection by a R5 viral strain. Different signs represent: evolution without superinfection, ($\Diamond$); superinfection occurring at time $t$=100 and 400, (+) and ($\Box$), respectively. For a superinfection event occurring after the R5 to X4 switching the dynamics is qualitatively the same as for a single infection, ($\Diamond$). If the second delayed infection occurs before the R5 to X4 switching, the time of appearance of X4 viruses may be shorter, when the superinfecting strain is closer to the X4 phenotypes, (+,$\Box$). Parameters as in Fig.~\ref{fig:X4}.}
465:   \label{fig:superX4}
466: \end{figure}
467: We have finally studied the influence of switching co-receptor usage in superinfection dynamics. In Fig.~\ref{fig:superX4} we show T-cells dynamics for different times of the superinfection event. We may observe that if the superinfection occurs after the appearance of the X4, the new R5 strain does not have any effect on T-cells behavior. On the other hand is worth noting that if the new R5 inoculum take place before the X4 appearance, this may speed up the switching to the X4 phenotype if the new strain is mutationally close to the X4.
468: 
469: \subsection{Investigating the mutational pathway between R5 and X4}
470: Research into HIV dynamics has much to gain from investigating the
471: evolution of chemokine co-receptor usage. Although CCR5 and CXCR4
472: are the major coreceptors used by HIV-1 a number of chemokine
473: receptors display coreceptor activities in vitro. Several other
474: chemokine receptors, possibly not present on the T cell membrane,
475: may act as targets. To date, a number of human receptors, specific
476: for these chemokine subfamilies, have been described, though many
477: receptors are still unassigned. Several viruses, for example
478: Epstein-Barr, Cytomegalovirus, and Herpes Samiri, contain
479: functional homologous to human CRs, an indication that such
480: viruses may use these receptors to subvert the effects of host
481: chemokines~\cite{Mu2001}. Cells different from CD4 and CD8, such
482: as macrophages, express lower levels of CD4, CCR5, and CXCR4 on
483: the cell surface compared with CD4+ T cells~\cite{LC1996,OD1999,WG2002},
484: and low levels of these receptors
485: expressed on macaque macrophages can restrict infection of some
486: non-M-tropic R5 HIV-1 and X4 simian immunodeficiency virus (SIV)
487: strains~\cite{BS2000,MD2000}.
488: \begin{figure}
489: \centering
490: \includegraphics[width=0.8\textwidth]{tree-1}
491: \caption{The maximum likelihood phylogeny under the JTT+F+$\Gamma$
492: model of evolution for the set of human and mouse (mouse sequences
493: are labeled with "-mou") chemokine receptors amino acid sequences
494: from human and mouse. The scale bar refers to the branch lengths,
495: measured in expected numbers of amino acid replacements per site}
496: \label{fig:tree1}
497: \end{figure}
498: \begin{figure}
499: \centering
500: \includegraphics[width=0.7\textwidth]{tree-2}
501: \caption{The same as Fig.~\ref{fig:tree1} but considering only
502: the external loop regions.}
503: \label{fig:tree2}
504: \end{figure}
505: 
506: Fundamental to the evolutionary approach is the representation of
507: the evolution of sequences along lineages of evolutionary trees,
508: as these trees describe the complex patterns of dependence amongst
509: sequences that are caused by their common ancestry~\cite{WG2001,S2000,GC2000}.
510: 
511: The ML tree, obtained using the JTT+$F$+$\Gamma $ model of
512: evolution, is shown in Figure~\ref{fig:tree1}. The topology
513: clearly shows that the CCR family is not homogeneous: CCR6, CCR7,
514: CCR9 and CCR10 are separated from the other CCRs; in particular,
515: CCR10 clusters with CXCRs; CXCR4 and CXCR6 do not cluster with the
516: CXCRs. The tree shows that there are many mutational steps between
517: CCR5 and CXCR4. The phylogeny suggests that the mutations that
518: allow the virus env to cover a wide phenotypic distance from R5 to
519: X4, may also lead to visit other receptors. Since the external
520: loops of CRs contain the binding specificities and have higher
521: rates of evolution than internal loops and transmembrane segments
522: ~\cite{SA1997}, the tree Fig.~\ref{fig:tree2} shows a relative
523: longer mutational pathway between CCR5 and CXCR4 with respect to
524: pathway linking CCR5 to other receptors.
525: 
526: 
527: \section{Discussion}
528: The worldwide presence of several strains of the HIV virus and
529: their often simultaneous presence within a patient, due to the
530: increased frequency of multiple infections, are the remarkable
531: features of HIV pandemia. For example, HIV-1 exists as several
532: groups, subdivided in growing number of subtypes which are
533: slightly predominant in different geographical regions
534: ~\cite{YL2005}. HIV-1-infected CD4+ T cells isolated from the
535: spleens of two individuals were recently shown to harbor anywhere
536: between one and eight proviruses, with an average of three to four
537: proviruses per cell ~\cite{DP2005}. Mutations, recombinations and
538: selection pressure cause the appearance of
539: quasispecies~\cite{ES1989}.
540: 
541: The interest in HIV quasispecies is motivated by concern about
542: developing strain specific drugs. Quasispecies are likely the key
543: for understanding the emerging infectious diseases and has
544: implications for transmission, public health counseling,
545: treatment and vaccine development. Moreover, the observed
546: co-evolutionary dynamics of virus and immune response opens the
547: way to the challenging possibility of the introduction or
548: modulation of a quasispecies to be used in therapy against an
549: already present aggressive strain, as experimented by Snell and
550: colleagues~\cite{SR1997}. The authors showed that the introduction
551: of an engineered virus can achieve HIV load reduction of 92\% and
552: recovery of host cells to 17\% of their normal levels (see also
553: the mathematical model in Ref.~\cite{RG2003}).
554: 
555: Different drug treatments can alter the population of
556: quasispecies. Will R5 blocking drugs cause HIV to start using X4?
557: And will that be worse than letting the R5-using virus stay around
558: along at its own, slower, but no less dangerous activity?
559: 
560: We first presented a model of the within-patience persistence of HIV quasispecies, by extending to multiple strain the Perelson's standard model~\cite{PH1996}. This approach allows to incorporate coevolutive and competitive dynamics resulting from the different strains of HIV virus and different antigen recognition abilities by the immune system considered. Our model shows that the time evolution of the competition between quasispecies is slow and has time scales of several months.
561: 
562: Recent works show that TNF is a prognostic marker for the
563: progression of HIV disease~\cite{HS2005a,HS2005b}.  We focused on
564: both the inability of the thymus to efficiently compensate for
565: even a relatively small loss of T cells precursors and on the role
566: of TNF in regulating the interactions between the different
567: strains of HIV virus. The second model we have introduced shows
568: that keeping low the concentration of TNF, both the depletion of
569: T-cells precursors repertoire and the R5 overcome by X4 strains
570: slow down.
571: 
572: Phylogenetic inference of chemokine receptors shows that there are
573: several mutational patterns linking CCR5 to several receptors that
574: have the same branch length of that from CCR5 to CXCR4. There is a
575: massive abundance of signaling disruptions in the immune systems
576: during AIDS progression, particularly after the transition R5 to
577: X4. These disruptions may be due to variants of the virus which
578: bind other chemokine receptors. This hypothesis also suggests that
579: R5-late strains in not-X4 AIDS, which are known to be different
580: from R5 early strains, may have accumulated mutations enabling them
581: to interact with other chemokine receptors. Therefore, our model
582: suggests the sooner the HAART the better, because the presence of
583: a large number of R5 will increase the mutational spectra in R5
584: strains (late R5) and the probability of getting closer to the
585: binding specificities of other chemokine receptors.
586: 
587: The large effect of TNF on T cells dynamics described by our
588: model, suggests the benefit of a TNF buffering therapy. It is
589: known that the dynamics of TNF is related to the dynamics of
590: TNF-related apoptosis-inducing ligand (TRAIL). In this model we
591: consider constant the concentration of TRAIL~\cite{HS2005b} and we
592: do not consider many other important players such as Rantes.
593: 
594: Our models represent also a general framework to investigate
595: intermittency or switching dominance of strains and the arising of
596: new dominant strains during different phases of therapy; how
597: superinfection will evolve in case of replacement of
598: drug-resistant virus with a drug-sensitive virus and acquisition
599: of highly divergent viruses of different strains; to investigate
600: whether antiviral treatment may increase susceptibility to
601: superinfection by decreasing antigen load.
602: 
603: Work in progress focuses on refining the "R5toX4" model by
604: incorporating the dynamics for TRAIL and comparing our results
605: with those of Ribeiro and colleagues~\cite{RD2006} who have
606: presented a model of R5 to X4 switch based on the hypothesis that
607: X4 and R5 viruses have a preferential tropism for naïve and memory
608: T cells, respectively.
609: 
610: 
611: \section{Acknowledgements}
612: We thank Stefano Ruffo for insightful suggestions.
613: 
614: 
615: 
616: \newpage
617: 
618: \begin{thebibliography}{00}
619: 
620: \bibitem{AW2002}  Altfeld, M., T. M. Allen, X. G. Yu, M. N. Johnston, D. Agrawal, B. T. Korber, D. C. Montefiori, D. H. O'Connor, B. T. Davis, P. K. Lee, E. Maier, J. Harlow, P. J.R. Goulder, C. Brander, E. S. B. Rosenberg D. and. Walker. 2001. Evolution and transmission of stable CTL escape mutations in HIV infection. Nature \textbf{420}:434-438.
621: 
622: \bibitem{Ba1998} Baggiolini, M. 1998. Chemokines and leukocyte traffic. Nature \textbf{392}:565-568.
623: 
624: \bibitem{BB1997} Bagnoli, F., and M. Bezzi. 1997. Speciation as Pattern Formation by Competition in a Smooth Fitness Landscape. Phys. Rev. Lett. \textbf{79}:3302-3305.
625: 
626: \bibitem{BL2005}  Bello, G., C. Casado, V. Sandonis, M. Alonso-Nieto, J. L. Vicario, S. Garc\'{i}a, V. Hernando, C. Rodr\'{i}guez, J. R. delomero C. and L\'{o}pez-Gal\'{i}ndez. 2005. A subset of human immunodeficiency virus type 1 long-term non-progressors is characterized by the unique presence of ancestral sequences in the viral population. J. Gen. Virol. \textbf{86}:355-364.
627: 
628: \bibitem{BS2005} Bagnoli, F., P. Lio' and L. Sguanci. 2005. Modeling viral coevolution: HIV multi-clonal persistence and competition dynamics. Phys. A, In Press, Corrected Proof, Available online 28 November 2005.
629: 
630: \bibitem{BS2000} Bannert, N., D. S. Schenten, J. Craig and J. Sodroski. 2000. The level of CD4 expression limits infection of primary rhesus monkey macrophages by a T-tropic simian immunodeficiency virus and macrophagetropic human immunodeficiency viruses. J. Virol. \textbf{74}:10984-10993.
631: 
632: \bibitem{BE2005} Biebricher CK, M. Eigen .2005. The error threshold. Virus Res. 107:117-27.
633: 
634: \bibitem{BC2000} Burch, C. L., and L. Chao. 2000. Evolvability of an RNA virus determined by its mutational neighborhood. Nature \textbf{406}:625-628.
635: 
636: \bibitem{CS1996} Celada, F. , and P. E. Seiden. 1996. Affinity maturation and hypermutation in a simulation of the humoral immune response. Eur. J. Immunol. \textbf{26}:1350-1358.
637: 
638: \bibitem{CP2004}  Chao, L., M. P. Davenport, S. Forrest, A. S. and. Perelson. 2004. A stochastic model of cytotoxic T
639: cell responses. J Theor Biol. 228:227-240.
640: 
641: \bibitem{CD2000}  Costa, L., M. Janini, M. Pinto R. and Diaz. 2000. Quasispecies analyses of a familial cluster infected with multiple HIV-1 subtypes. Int. Conf. AIDS. \textbf{13}:(abstract no. MoPpA1005).
642: 
643: \bibitem{DO1978} Dayhoff, M. O., R. M. Schwartz and B. C. Orcutt. 1978. A model of evolutionary change in
644: proteins. In Atlas of Protein Sequence and Structure, (Vol. 5, Suppl. 3) (Dayhoff, M.O., ed.), pp. 345.352, National Biomedical Research Foundation.
645: 
646: \bibitem{DP2005} Dixit, N. M., and A. S. Perelson. 2005. HIV dynamics with multiple infections of
647: target cells. Proc. Natl. Acad. Sci. USA. 102:8198-203.
648: 
649: \bibitem{DP1992}  DeBoer, R. J., L.A. Segel and A. S. Perelson, J. 1992. Pattern formation in one and two-dimensional shape-space models of the immune system. J. Theor. Biol. 155:295-333.
650: 
651: \bibitem{DP1995}  DeBoer, R. J., and A. S. Perelson, J. 1995. Towards a general function describing T-cell proliferation. J. Theor. Biol. 175:657-576.
652: 
653: \bibitem{ES1977} Eigen, M., and  P. Schuster. 1977. The hypercycle. Naturwissenschaften \textbf{64}:541-565.
654: 
655: \bibitem{ES1989} Eigen, M., J. McCaskill and P. Schuster. 1989. The Molecular Quasi-Species. Adv. Chem. Phys. 75:149-263.
656: 
657: \bibitem{FP1997} Franz, S., and  L. Peliti. 1997. Error Threshold in Simple Landscapes. J. Phys. A \textbf{30}:4481-4487.
658: 
659: \bibitem{GH2005} Gerhardt, M., D. Mloka, S. Tovanabutra, E. Sanders-Buell, O. Hoffmann, L. Maboko, D. Mmbando, D. L. Birx, F. E. McCutchan and M. Hoelscher. 2005. In-depth, longitudinal analysis of viral quasispecies from an individual triply infected with late-stage human immunodeficiency virus type 1, using a multiple PCR primer approach. J. Virol.\textbf{79}:8249-8261.
660: 
661: \bibitem{GG2002} Gog, J. R., and B. T. Grenfell. 2002. Dynamics and selection of many-strain pathogens. Proc. Nat. Acad. Sci. \textbf{99}:17209-17214.
662: 
663: \bibitem{GC2000} Goh, C. S., A. A. Bogan, M. Joachimiak, D. Walther, F. E. Cohen. 2000.  Co-evolution of proteins with their interaction partners. \textit{J. Mol. Bio.} \textbf{299}:283-293.
664: 
665: \bibitem{GG2005} Gorry, P.R., M. Churchill, S. M. Crowe, A. L. Cunningham and D. Gabuzda. 2005. Pathogenesis of macrophage tropic HIV. Curr. HIV Res. 3:53-60.
666: 
667: \bibitem{GS2005} Gray, L., J. Sterjovski, M. Churchill, P. Ellery, N. Nasr, S. R. Lewin, S. M. Crowe, S. L. Wesselingh, A. L. Cunningham and P. R. Gorry. 2005. Uncoupling coreceptor usage of human immunodeficiency virus type 1 (HIV-1) from macrophage tropism reveals biological properties of CCR5-restricted HIV-1 isolates from patients with acquired immunodeficiency syndrome. Virology 337:384-98
668: 
669: \bibitem{HH2004} Haaft, P. T., E. J. Verschoor, B. Verstrepen, H. Niphuis, R. Dubbes, W. Koornstra, W. Bogers, B. Rosenwirth  and J. L. Heeney. 2004. Readily acquired secondary infections of human and simian immunodeficiency viruses following single intravenous exposure in non-human primates. J. of Gen. Virol. \textbf{85}:3735-3745.
670: 
671: \bibitem{HS2005a} Herbeuval, J. P., A. W. Hardy, A. Boasso, S. A. Anderson, M. J. Dolan, M. Dy, and G. M. Shearer. 2005. Regulation of TNF-related apoptosis-inducing ligand on primary CD4+ T cells by HIV-1: Role of type I IFN-producing plasmacytoid dendritic cells. Proc. Nat. Acad. Sci. USA \textbf{102}:13974-13979.
672: 
673: \bibitem{HS2005b} Herbeuval, J. P., Grivel, J.-C., Boasso A., Hardy, A. W. , Chougnet, C., Dolan M. J., Yagita, H., Lifson J. D., and
674: Shearer, G. M. 2005. CD4+ T-cell death induced by infectious and
675: noninfectious HIV-1: role of type 1 interferon-dependent,
676: TRAIL/DR5-mediated apoptosis. Blood 106: 3524-3531.
677: 
678: \bibitem{HM1995}  Ho, D., A. U. Neumann, A. S. Perelson, W. Chen, J. M. Leonard M. and Markowitz. 1995. Rapid turnover of plasma virions and CD4 lymphocytes in HIV-1 infection. Nature \textbf{373}:123-126.
679: 
680: \bibitem{JD2000}  Jetzt, E., H. Yu, G. J. Klarmann, Y. Ron, B. D. Preston,  J. P. and. Dougherty. 2000. High Rate of Recombination throughout the Human Immunodeficiency Virus Type 1 Genome. J. Virol. \textbf{74}:1234-1240.
681: 
682: \bibitem{JT1994} Jones DT, WR Taylor, JM Thornton .1994. A mutation data matrix for
683: transmembrane proteins. FEBS Lett. 339:269-75.
684: 
685: 
686: \bibitem{KF2004} Karlsson, I., L. Antonsson, Y. Shi, M. Oberg, A. Karlsson, J. Albert, B. Olde, C. Owman, M. Jansson and E. M. Fenyo. 2004. Coevolution of RANTES sensitivity and mode of CCR5 receptor use by human immunodeficiency virus type 1 of the R5 phenotype. J. Virol. 78:11807-11815.
687: 
688: \bibitem{KH1997} Krempl, C., B. Schultze, H. Laude and G. Herrler. 1997. Point mutations in the S protein connect the sialic acid binding activity with the enteropathogenicity of transmissible gastroenteritis coronavirus. J. Virol. \textbf{71}:3285-3287.
689: 
690: \bibitem{L2003} Levy, J. A. 2003. Is HIV superinfection worrisome? The Lancet \textbf{361}:98-99.
691: 
692: \bibitem{LC1996} Lewin, S.R., S. Sonza, L. B. Irving, C. F. McDonald, J. Mills and S. M. Crowe. 1996. Surface CD4 is critical to in vitro HIV infection of human alveolar macrophages. AIDS Res. Hum. Retroviruses 12:877-883.
693: 
694: \bibitem{LL2002}  Lin, J., V. Andreasen,R. Casagrandi L. and S.A. Levin. 2002. Traveling waves in a model of influenza A drift. J. Theor. Biol. \textbf{222}:437-445.
695: 
696: \bibitem{Luster1998} Luster, A. D. 1998. Chemokines: chemotactic cytokines that mediate inflammation. N. Engl. J. Med. \textbf{338}:436-445.
697: 
698: \bibitem{Mellado2001} Mellado, M., Rodriguez-Frade J. M., Vila-Coro A. J., S. Fernandez, A. Martin de Ana, D. R. Jones, J. L. Toran, A.C. Martinez .2001. Chemokine receptor homo- or heterodimerization activates distinct signaling pathways. \textit{J. EMBO} \textbf{20}:2497-507.
699: 
700: \bibitem{MD2000} Mori, K., M. Rosenzweig and R.C. Desrosiers. 2000. Mechanisms for adaptation of simian immunodeficiency virus to replication in alveolar macrophages. J. Virol. \textbf{74}:10852-10859.
701: 
702: \bibitem{Mu2001} Murphy, P. M. 2001. Viral exploitation and subversion of the immune system through chemokine mimicry. Nature Immunology 2:116-122.
703: 
704: \bibitem{NP1998} Neumann, A. U., N. P. Lam, H. Dahari, D. R. Gretch, T. E. Wiley, T. J. Layden,  and A. S. Perelson. 1998. Hepatitis C Viral Dynamics in Vivo and the Antiviral Efficacy of Interferon-alpha Therapy. Science \textbf{282}:103-107.
705: 
706: \bibitem{OD1999} Ometto, L., M. Zanchetta, A. Cabrelle, G. Esposito, M. Mainardi,
707: L. Chieco-Bianchi and A. De Rossi. 1999. Restriction of HIV type 1 infection in macrophages heterozygous for a deletion in the CCchemokine receptor 5 gene. AIDS Res. Hum. Retroviruses 15:1441-1452.
708: 
709: \bibitem{PY2004} Pavlakis, G. N., A. Valentin, M. Morrow and R. Yarchoan.  Differential effects of TNF on HIV-1 expression: R5 inhibition and implications for viral evolution. Int Conf AIDS 2004 Jul 11-16;
710: 15:(abstract no. MoOrA1048).
711: 
712: \bibitem{PH1996} Perelson, S., A. U. Neumann, M. Markowitz, J. M. D. Leonard D. and. Ho. 1996. HIV-1 Dynamics in Vivo: Virion Clearance Rate, Infected Cell Life-Span, and Viral Generation Time. Science \textbf{271}:1582-1586.
713: 
714: \bibitem{R2002}  Ramos, A., D. J. Hu, L. Nguyen,K. O. Phan, S. Vanichseni, N. Promadej, K. Choopanya, M. Callahan, N. L. Young, J. McNicholl, T. D. Mastro, T. M. Folks and S. Subbarao. 2002. Intersubtype human immunodeficiency virus type 1 superinfection following seroconversion to primary infection in two injection drug users. J. Virol. \textbf{76}:7444-7452.
715: 
716: \bibitem{RG2003} Revilla, T. , and  G. Garc\'{y}a-Ramos. 2003. Math. Biosc. \textbf{185}:191.
717: 
718: \bibitem{RD2006} Ribeiro, M. R., D. M. Hazenberg, S. A. Perelson, and  P. M. Davenport.  2006. Naïve and Memory Cell Turnover as Drivers of CCR5-to-CXCR4 Tropism Switch in Human Immunodeficiency Virus Type 1: Implications for Therapy.  J. Virol. \textbf{80}:802-809.
719: 
720: \bibitem{SA1997} Samson, M., G. LaRosa, F. Libert, P. Paindavoine, G. Detheux, R. Vassay, M.  Pandarmentier. 1997. The second extracellular loop of CCR5 is the major determinant of ligand specificity. \textit{J. Biol. Chem} \textbf{272}:24934-24941.
721: 
722: \bibitem{SR1997}  Schnell, J., E. Johnson, L. Buonocore and  J. K. Rose. 1997. Construction of a novel virus that targets HIV-1-infected cells and controls HIV-1 infection. Cell \textbf{90}:849-857.
723: 
724: \bibitem{S2000} Shields, D.C. 2000. Gene conversions among chemokine genes. Gene \textbf{246}:239-245.
725: 
726: \bibitem{SP1997} Speck, R. F., K. Wehrly, E. J. Platt, R. E. Atchison, I. F. Charo, D. Kabat, B. Chesebro, M. A. Goldsmith. 1997. Selective employment of chemokine receptors as human immunodeficiency virus type 1 coreceptors determined by individual amino acids within the V. envelope3 loop. J. Virol. \textbf{71}:7136-7139.
727: 
728: \bibitem{WG2002} Wang, J., K. Crawford, M. Yuan, H. Wang, P. R. Gorry and D. Gabuzda. 2002. Regulation of CC chemokine receptor 5 and CD4 expression and human immunodeficiency virus type 1 replication in human macrophages and microglia by T helper type 2 cytokines. J. Infect. Dis. 185:885-897.
729: 
730: \bibitem{WS1995}  Wei, X., S. K. Ghosh, M. E. Taylor, V. A. Johnson, E. A. Emini, P. Deutsch, J. D. Lifson, S. Bonhoeffer, M. A. Nowak, B. H. Hahn, M. S. Saag and G.M. Shaw. 1995. Viral dynamics in human immunodeficiency virus type 1 infection. Nature \textbf{373}:117-122.
731: 
732: \bibitem{WG2001} Whelan, S. and N. Goldman. 2001. A general empirical model of protein evolution derived from multiple protein families using a maximum likelihood approach. Mol Biol Evol. \textbf{18}:691-699.
733: 
734: \bibitem{WLG2001}  Whelan, S., P. Li\`{o}, N. Goldman. 2001. P. Molecularhylogenetics: state-of-the-art methods for looking into the past. \textit{G. Trendsenet.} \textbf{17}:262-272.
735: 
736: \bibitem{WP2004}  Wiegel, F. W., and A. S. Perelson. 2004. Some scaling principles for the immune system. Immunol. Cell. Biol. \textbf{82}:127-131.
737: 
738: \bibitem{WN2002}  Wodarz, D., and M. A. Nowak. 2002.  HIV dynamics and evolution. BioEssays \textbf{24}:1178-1187.
739: 
740: \bibitem{Y1994}  Yang, Z. (1994) Maximum likelihood phylogenetic estimation from DNA sequences with variable rates over sites: approximate methods. J. Mol. Evol. 39:306-314
741: 
742: \bibitem{Y1997} Yang, Z. (1997) PAML: a program package for phylogenetic analysis
743: by maximum likelihood. CABIOS 13:555-556
744: 
745: \bibitem{YL2005} Yang, O.O., E. S. Daar, B. D. Jamieson, A. Balamurugan, D. M. Smith, J. A. Pitt, C. J. Petropoulos, D. D. Richman, S. J. Little and A. J. Leigh-Brown. 2005. Human immunodeficiency virus type 1 clade B superinfection: evidence for differential immune containment of distinct clade B strains. J.  Virol. \textbf{79}:860-868.
746: 
747: \bibitem{VA2006} Vignuzzi, M., J. K. Stone, J. J. Arnold, C. E. Cameron and R. Andino. 2006. Quasispecies diversity determines pathogenesis through cooperative interactions in a viral population. Nature 439:344-348.
748: 
749: \end{thebibliography}
750: 
751: 
752:     
753: \end{document}
754: