- Open Access
Systems mapping of HIV-1 infection
© Hou et al.; licensee BioMed Central Ltd. 2012
Received: 9 May 2012
Accepted: 27 September 2012
Published: 23 October 2012
Mathematical models of viral dynamics in vivo provide incredible insights into the mechanisms for the nonlinear interaction between virus and host cell populations, the dynamics of viral drug resistance, and the way to eliminate virus infection from individual patients by drug treatment. The integration of these mathematical models with high-throughput genetic and genomic data within a statistical framework will raise a hope for effective treatment of infections with HIV virus through developing potent antiviral drugs based on individual patients’ genetic makeup. In this opinion article, we will show a conceptual model for mapping and dictating a comprehensive picture of genetic control mechanisms for viral dynamics through incorporating a group of differential equations that quantify the emergent properties of a system.
To control HIV-1 virus, antiviral drugs have been developed to prevent the infection of new viral cells or stop already-infected cells from producing infectious virus particles by inhibiting specific viral enzymes [1, 2]. Because of the multifactorial complexity of viral-host association, however, the development and delivery of clinically more beneficial novel antiviral drugs have proved a difficult goal . In this essay, we argue that this bottleneck may be overcome by merging two recent advances in mathematical biology and genotyping techniques toward precision medicine. First, viral-drug interactions constitute a complex dynamic system, in which different types of viral cells, including uninfected cells, infected cells, and free virus particles, cooperate with each other and together fight with host immune cells to determine the pattern of viral change in response to drugs [4–6]. A number of sophisticated mathematical models have been developed to describe viral dynamics in vivo, providing incredible insights into the mechanisms for the nonlinear interaction between virus and host cell populations, the dynamics of viral drug resistance, and the way to eliminate virus infection from patients by drug treatment [7–15]. Second, the combination between novel instruments and an increasing understanding of molecular genetics has led to the birth of high-throughput genotyping assays such as single nucleotide polymorphisms (SNPs). Through mapping or associating concrete nucleotides or their combinations with the dynamic process of HIV infection [16, 17], we can precisely taxonomize this disease by its underlying genomic and molecular causes, thereby enabling the application of precision medicine to diagnose and treat it.
Systems mapping: a novel tool to dissect complex traits
Beyond a traditional mapping strategy focusing on the static performance of a trait, systems mapping dissolves the phenotype of the trait into its structural, functional or metabolic components through design principles of biological systems, maps the interrelationships and coordination of these components and identifies genes involved in the key pathways that cause the end-point phenotype [18–23]. Systems mapping not only preserves the capacity of functional mapping [24–26] to study the dynamic pattern of genetic control on a time and space scale, but also shows a unique advantage in revealing the dynamic behavior of the genetic correlations among different but developmentally related traits. Its methodological innovation is to integrate mathematical aspects of phenotype formation and progression into a genetic mapping framework to test the interplay between genes and development. Various differential equations which have been instrumental for studying nonlinear and complex dynamics in engineering  have shown increasing value and power to quantify the emergent properties of a biological system and interpret experimental results [9–12, 28, 29].
Mapping triple genome interactions
It has been widely accepted that the symptoms and severity of infectious diseases are determined by pathogen-host specificity through cellular, biochemical and signal exchanges [4, 33–35]. This specificity, established by undermining a host’s immunological ability to mount an immune response against a particular pathogen, is found to be under genetic determination. Current genetic studies of pathogen-host systems focus on either the host or the pathogen genome, but there is increasing recognition that the complete genetic architecture of pathogen-host specificity, described by the number, position, effect, pleiotropy, and epistasis among genes, involves interactive components from both host and viral genomes [35–38]. In other words, the infection phenotype does not merely result from additive effects of host and pathogen genotypes, but also from specific interactions between the two genomes [35, 37].
While many molecular studies define pathogen-host interactions, regardless of the type of hosts, epidemiological models distinguish the difference of hosts as a recipient and transmitter to better characterize the epidemic structure of disease infection, given that infectious diseases like HIV/AIDS are transmitted from an infected person to another [39–41]. From this point of view, the infection outcome should be determined differently but simultaneously by genes from transmitters and recipients. To chart a comprehensive picture of genetic control mechanisms for viral dynamics, we need to address the questions of how genes from viral and host genomes interact to influence viral dynamics and how genetic interactions between recipients and transmitters of virus play a part in the dynamic behavior of viruses. Li et al.  pioneered the unification of quantitative genetic theory and epidemiological dynamics for characterizing triple-genome interactions from viruses, transmitters and recipients.
Systems mapping described in Appendix 2 should be embedded within Li et al.’s  unifying model to include the interactions of genes derived from the three genomes. This integration allows main genetic effects and epistatic interactions expressed at the genome level to be tested and characterized, including additive effects from the (haploid) viral genome, additive and dominant effects from the transmitter genome, additive and dominant effect from the recipient genome as well as all possible interactions among these main effects. It is interesting to note that the integrated system mapping is capable of estimating and testing high-order epistasis from the viral, recipient and transmitter genomes. Given a growing body of evidence that high-order epistasis is an important determinant of the genetic architecture of complex traits [43–45], systems mapping should be equipped with triple genome interaction modeling.
It should be pointed out that virus evolves through gene recombination and mutations. The genetic machineries that cause viral evolution can be incorporated into systems mapping without technical difficulty. Through such incorporation, systems mapping will provide a useful and timely incentive to detect the genetic control mechanisms of viral dynamics and antivirus drug resistance dynamics and ultimately to design personalized medicine to treat HIV-1 infection from increasingly available genome and HIV data worldwide.
Toward precision medicine
A major challenge that faces drug development and delivery for controlling viral diseases is to develop computational models for analyzing and predicting the dynamics of decline in virus load during drug therapy and further providing estimates of the rate of emergence of resistant virus. The integration of well-established mathematical models for viral dynamics with high-throughput genetic and genomic data within a statistical framework will raise a hope for effective diagnosis and treatment of infections with HIV virus through developing potent antiviral drugs based on individual patients’ genetic makeup.
In this opinion article, we have provided a synthetic framework for systems mapping of viral dynamics during its progression to AIDS. This framework is equipped with unified mathematical and statistical power to extract genetic information from messy data and possess the analytical and modeling efficiency which does not exist for traditional approaches. By fitting the rate of change of virus infection with clinically meaningful mathematical models, the spatio-temporal pattern of genetic control can be illustrated and predicted over a range of time and space scales. Statistical modeling allows the estimation of mathematical parameters that specify genetic effects on viral dynamics. By genotyping both host and viral genomes, systems mapping is able to identify which viral genes and which human genes from recipients and transmitters determine viral dynamics additively or through non-linear interactions. In this sense, it paves a new way to chart a comprehensive picture of the genetic architecture of viral infection.
An increasing trend in drug development is to integrate it with systems biology aimed to gain deep insights into biological responses. Large-scale gene, protein and metabolite (omics) data that found the building blocks of complex systems have become essential parts of the drug industry to design and deliver new drug [46, 47]. However, the true wealth of systems biology will critically rely upon the way of how to incorporate it into human cell and tissue function that affects pathogenesis. By integrating knowledge of organ and system-level responses and omics data, systems mapping will help to prioritize targets and design clinical trials, promising to improve decision making in pharmaceutical development.
Appendix 1. Mathematical models of viral dynamics
where uninfected cells are yielded at a constant rate, λ, and die at the rate dx; free virus infects uninfected cells to yield infected cells at rate βxv; infected cells die at rate ay; and new virus is yielded from infected cells at rate ky and dies at rate uv. The system (1) is defined by six parameters (λ d β a k u) and some initial conditions about x, y, and v.
The dynamic pattern of this system can be determined and predicted by the change of these parameters and the initial conditions of x, y, and v. The basic reproductive ratio of the virus is defined as R0 = βλk/(adu). If R0 is larger than one, then system converges in damped oscillations to the equilibrium x * = au/(βk), y * = λ/a – du/(βk), and v * = λk/(au) – d/β. The average life-times of uninfected cells, infected cells, and free virus are given by 1/d, 1/a, and 1/u, respectively. The average number of virus particles produced over the lifetime of a single infected cell (the burst size) is given by k/a.
where y, y m , v, and v m denote cells infected by wild-type virus, cells infected by mutant virus, free wild-type virus, and free mutant virus, respectively . The mutation rate between wild-type and mutant is given by ε (in both directions). For a small ε, the basic reproductive ratios of wild-type and mutant virus are R0 = βλk/(adu) and R0m = β m λk m /(adu).
Model (2) shows that the expected pretreatment frequency of resistant mutant depends on the number of point mutations between wild-type and resistant mutant, the mutation rate of virus replication, and the relative replication rates of wild-type virus, resistant mutant, and all intermediate mutants. Whether or not resistant virus is present in a patient before therapy will crucially depend on the population size of infected cells.
Cell diversity model
where q1, q2, and q3 (q1 + q2 + q3 = 1) are the proportions that the cell will immediately enter active viral replication at a rate of virus production k, become latently infected with the virus at a (much slower) rate of virus production c, and produce a defective provirus that will not produce any offspring virus, respectively; and a1, a2, and a3 are the decay rates of actively producing cells, latently infected cells, and defectively infected cells, respectively.
The basic reproductive ratio of the wild-type is R0 = βλA/(du). If R0 is larger than one, then system converges to the equilibrium x * = u/(βA), , and , where .
This group of ODEs provides a comprehensive description of how viral loads change their rate in a time course, how infected cells are generated in response to the emergence of viral particles, and how viral mutation impacts on viral dynamics and drug resistance dynamics. The emerging properties of system (4) were discussed in ref. , which can be integrated with systems mapping described in Appendix 2.
Appendix 2. Systems mapping of viral dynamics
with , and being (T i × T i ) covariance matrices of time-dependent x, y and v values, respectively, and elements off-diagonal being a (T i × T i ) systematical covariance matrix between the two variables.
We use μ kj|i to denote the genotypic mean of variable j for individual i belonging to genotype j at an arbitrary point in a time course. The Runge–Kutta fourth order algorithm can be used to solve the ODEs.
Next, we need to model the covariance structure by using a parsimonious and flexible approach such as an autoregressive, antedependence, autoregressive moving average, or nonparametric and semiparametric approaches. Yap et al.  provided a discussion of how to choose a general approach for covariance structure modeling. In likelihood (1), the conditional probabilities of functional genotypes given marker genotypes can be expressed as a function of recombination fractions for an experimental cross population or linkage disequilibria for a natural population [48, 50]. The estimation of the recombination fractions or linkage disequilibria can be implemented with the Expectation-Maximization (EM) algorithm.
To demonstrate the usefulness of systems mapping, we assume a sample of n HIV-infected patients drawn from a natural human population at random. The sample is analyzed by systems mapping, leading to the detection of a molecular marker which is associated with a QTL that determines the dynamics of drug resistance in a way described by (2) in Appendix 1. At the QTL detected, there are three genotypes AA, Aa and aa, each with a different set of curve parameters (λ, d, β, β m , a, k, k m , u, ε) estimated by systems mapping. We assume that these parameters are estimated as (10, 0.01, 0.005, 0.02, 0.5, 10, 10, 3, 0.0001) for genotype AA, (12, 0.01, 0.005, 0.02, 0.6, 8, 8, 3, 0.0001) for genotype Aa, and (12, 0.008, 0.005, 0.02, 0.55, 8, 12, 4, 0.0001) for genotype aa. Using these estimated values, we draw the curves of drug resistance dynamics for each genotype (Figure 2). Pronounced differences in the form of these curves indicate that the QTL plays an important part in determining the resistance dynamics of drugs used to treat HIV/AIDS.
The model for systems mapping described above can be expanded in two aspects, mathematical and genetic, to better characterize the genetic architecture of viral dynamics. The mathematical expansions are to incorporate the drug resistance model (2), the cell diversity model (3) and the unifying resistance and cell diversity model (4). These expansions allow the functional genes operating at different pathways of viral-host reactions to be identified and mapped, making system mapping more clinically feasible and meaningful. The genetic expansions aim to not only model individual genes from the host or pathogen genome but also characterize epistatic interactions between genes from different genomes. This can be done by expanding the conditional probability of functional genes given marker genotypes ω j|i using a framework derived by Li et al. .
How do DNA variants regulate viral dynamics?
How do these genes affect the average life-times of uninfected cells, infected cells, and free virus, respectively?
How do genes determine the emergence and progression of drug resistance?
Are there specific genes that control the possibility of virus eradication by antiviral drug?
How important are gene-gene interactions and genome-genome interactions to the dynamic behavior of viral load with or without treatment?
This work is supported by Florida Center for AIDS Research Incentive Award, NIH/NIDA R01 DA031017, and NIH/UL1RR0330184.
- Smith K, Powers KA, Kashuba AD, Cohen MS: HIV-1 treatment as prevention: the good, the bad, and the challenges. Curr Opin HIV AIDS. 2011, 6 (4): 315-325.PubMed CentralPubMedGoogle Scholar
- Padian NS, McCoy SI, Karim SSA, Hasen N, Kim J: HIV prevention transformed: the new prevention research agenda. Lancet. 2011, 378: 269-278. 10.1016/S0140-6736(11)60877-5.PubMed CentralView ArticlePubMedGoogle Scholar
- Padian NS, McCoy SI, Balkus JE, Wasserheit JN: Weighing the gold in the gold standard: challenges in HIV prevention research. AIDS. 2010, 24: 621-635. 10.1097/QAD.0b013e328337798a.PubMed CentralView ArticlePubMedGoogle Scholar
- Fellay J, Shianna KV, Telenti A, Goldstein DB: Host genetics and HIV-1: The final phase?. PLoS Pathog. 2010, 6 (10): e1001033-10.1371/journal.ppat.1001033.PubMed CentralView ArticlePubMedGoogle Scholar
- Balazs AB, Chen J, Hong CM, Rao DS, Yang L, Baltimore D: Antibody-based protection against HIV infection by vectored immunoprophylaxis. Nature. 2012, 481: 81-84.View ArticleGoogle Scholar
- Sobieszczyk ME, Lingappa JR, McElrath MJ: Host genetic polymorphisms associated with innate immune factors and HIV-1. Curr Opin HIV AIDS. 2011, 6: 427-434. 10.1097/COH.0b013e3283497155.View ArticlePubMedGoogle Scholar
- Ho DD, Neumann AU, Perelson AS, Chen W, Leonard JM: Rapid turnover of plasma virions and CD4 lymphocytes in HIV-1 infection. Nature. 1995, 373: 123-126. 10.1038/373123a0.View ArticlePubMedGoogle Scholar
- Wei X, Ghosh SK, Taylor ME, Johnson VA, Emini EA: Viral dynamics in human immunodeficiency virus type 1 infection. Nature. 1995, 373: 117-122. 10.1038/373117a0.View ArticlePubMedGoogle Scholar
- Perelson AS, Neumann AU, Markowitz M, Leonard JM, Ho DD: HIV-1 dynamics in vivo: virion clearance rate, infected cell life-span, and viral generation time. Science. 1996, 271: 1582-1586. 10.1126/science.271.5255.1582.View ArticlePubMedGoogle Scholar
- Bonhoeffer S, May RM, Shaw GM, Nowak MA: Virus dynamics and drug therapy. Proc Natl Acad Sci USA. 1997, 94: 6971-6976. 10.1073/pnas.94.13.6971.PubMed CentralView ArticlePubMedGoogle Scholar
- Perelson AS: Modelling viral and immune system dynamics. Nat Rev Immunol. 2002, 2: 28-36. 10.1038/nri700.View ArticlePubMedGoogle Scholar
- Wodarz D, Nowak MA: Mathematical models of HIV pathogenesis and treatment. Bioessays. 2002, 24: 1178-1187. 10.1002/bies.10196.View ArticlePubMedGoogle Scholar
- Simon V, Ho DD: HIV-1 dynamics in vivo: implications for therapy. Nat Rev Microbiol. 2003, 1: 181-190. 10.1038/nrmicro772.View ArticlePubMedGoogle Scholar
- Ribeiro RM, Bonhoeffer S: Production of resistant HIV mutants during antiretroviral therapy. Proc Natl Acad Sci USA. 2000, 97: 7681-7686. 10.1073/pnas.97.14.7681.PubMed CentralView ArticlePubMedGoogle Scholar
- Rong L, Gilchrist MA, Feng Z, Perelson AS: Modeling within-host HIV-1 dynamics and the evolution of drug resistance: trade-offs between viral enzyme function and drug susceptibility. J Theor Biol. 2007, 247: 804-818. 10.1016/j.jtbi.2007.04.014.PubMed CentralView ArticlePubMedGoogle Scholar
- Troyer JL, Nelson GW, Lautenberger JA, Chinn L, McIntosh C: Genome-wide association study implicates PARD3B-based AIDS restriction. J Infect Dis. 2011, 203: 1491-1502. 10.1093/infdis/jir046.PubMed CentralView ArticlePubMedGoogle Scholar
- The International HIV Controllers Study: The major genetic determinants of HIV-1 control affect HLA class I peptide presentation. Science. 2010, 330: 1551-1557.PubMed CentralView ArticleGoogle Scholar
- Fu GF, Luo J, Berg A, Wang Z, Li JH: A dynamic model for functional mapping of biological rhythms. J Biol Dyn. 2010, 4: 1-10. 10.1080/17513750903332652.View ArticleGoogle Scholar
- Fu GF, Wang Z, Li JH, Wu RL: A mathematical framework for functional mapping of complex systems using delay differential equations. J Theor Biol. 2011, 289: 206-216.View ArticlePubMedGoogle Scholar
- Luo JT, Hager WW, Wu RL: A differential equation model for functional mapping of a virus-cell dynamic system. J Math Biol. 2010, 65: 1-15.View ArticleGoogle Scholar
- Guo YQ, Luo JT, Wang JX, Wu RL: How to compute which genes control drug resistance dynamics. Drug Discov Today. 2011, 16: 334-339.View ArticleGoogle Scholar
- Wu RL, Cao JG, Huang ZW, Wang Z, Gai JY: Systems mapping: How to improve the genetic mapping of complex traits through design principles of biological systems. BMC Syst Biol. 2011, 5: 84-10.1186/1752-0509-5-84.PubMed CentralView ArticlePubMedGoogle Scholar
- Ahn K, Luo J, Keefe D, Wu RL: Functional mapping of drug response with pharmacodynamic-pharmcokinetic principles. Trend Pharmacolog Sci. 2010, 31: 306-311. 10.1016/j.tips.2010.04.004.View ArticleGoogle Scholar
- Ma CX, Casella G, Wu RL: Functional mapping of quantitative trait loci underlying the character process: a theoretical framework. Genetics. 2002, 161: 1751-1762.PubMed CentralPubMedGoogle Scholar
- Wu RL, Lin M: Functional mapping – How to map and study the genetic architecture of dynamic complex traits. Nat Rev Genet. 2006, 7: 229-237.View ArticlePubMedGoogle Scholar
- Li Y, Wu RL: Functional mapping of growth and development. Biol Rev. 2010, 85: 207-216.View ArticlePubMedGoogle Scholar
- Beretta E, Kuang Y: Geometric stability switch criteria in delay differential systems with delay dependent parameters. SIAM J Math Anal. 2002, 33: 1144-1165. 10.1137/S0036141000376086.View ArticleGoogle Scholar
- Barabasi AL, Oltvai ZN: Network biology: understanding the cell’s functional organization. Nat Rev Genet. 2004, 5: 101-113. 10.1038/nrg1272.View ArticlePubMedGoogle Scholar
- Boone C, Bussey H, Andrews BJ: Exploring genetic interactions and networks with yeast. Nat Rev Genet. 2007, 8: 437-449. 10.1038/nrg2085.View ArticlePubMedGoogle Scholar
- McKeegan KS, Borges-Walmsley MI, Walmsley AR: Microbial and viral drug resistance mechanisms. Trends Microbiol. 2002, 10: s8-s14. 10.1016/S0966-842X(02)02429-0.View ArticlePubMedGoogle Scholar
- Davies J, Davies D: Origins and evolution of antibiotic resistance. Microbiol Mol Biol Rev. 2010, 74: 417-433. 10.1128/MMBR.00016-10.PubMed CentralView ArticlePubMedGoogle Scholar
- Toprak E, Veres A, Michel JB, Chait R, Hartl DL, Kishony R: Evolutionary paths to antibiotic resistance under dynamically sustained drug selection. Nat Genet. 2011, 44: 101-105. 10.1038/ng.1034.PubMed CentralView ArticlePubMedGoogle Scholar
- Thompson JN, Burdon JJ: Gene-for-gene coevolution between plants and parasites. Nature. 1992, 360: 121-126. 10.1038/360121a0.View ArticleGoogle Scholar
- Tetard-Jones C, Kertesz MA, Gallois P, Preziosi RF: Genotype-by-genotype interactions modified by a third species in a plantinsect system. Am Nat. 2007, 170: 492-499. 10.1086/520115.View ArticlePubMedGoogle Scholar
- Lambrechts L: Dissecting the genetic architecture of host–pathogen specificity. PLoS Pathog. 2010, 6 (8): e1001019-10.1371/journal.ppat.1001019.PubMed CentralView ArticlePubMedGoogle Scholar
- Persson J, Vance RE: Genetics-squared: combining host and pathogen genetics in the analysis of innate immunity and bacterial virulence. Immunogenetics. 2007, 59: 761-778. 10.1007/s00251-007-0248-0.View ArticlePubMedGoogle Scholar
- Wang Z, Hou W, Wu R: A statistical model to analyse quantitative trait locus interactions for HIV dynamics from the virus and human genomes. Stat Med. 2006, 25: 495-511. 10.1002/sim.2219.View ArticlePubMedGoogle Scholar
- Martinez J, Fleury F, Varaldi J: Heritable variation in an extended phenotype: the case of a parasitoid manipulated by a virus. J Evol Biol. 2012, 25: 54-65. 10.1111/j.1420-9101.2011.02405.x.View ArticlePubMedGoogle Scholar
- Galvin SR, Cohen MS: The role of sexually transmitted diseases in HIV transmission. Nat Rev Microbiol. 2004, 2: 33-42. 10.1038/nrmicro794.View ArticlePubMedGoogle Scholar
- Coombs RW, Reichelderfer PS, Landay AL: Recent observations on HIV type-1 infection in the genital tract of men and women. AIDS. 2003, 17: 455-480. 10.1097/00002030-200303070-00001.View ArticlePubMedGoogle Scholar
- Gupta K, Klasse PJ: How do viral and host factors modulate the sexual transmission of HIV? Can transmission be blocked?. PLoS Med. 2006, 3 (2): e79-10.1371/journal.pmed.0030079.PubMed CentralView ArticlePubMedGoogle Scholar
- Li Y, Berg A, Chang MN, Du P, Ahn K: A statistical model for genetic mapping of viral infection by integrating epidemiological behavior. Stat Appl Genet Mol Biol. 2009, 8 (1): 38-PubMed CentralGoogle Scholar
- Wang Z, Liu T, Lin ZW, Hegarty J, Koltun WA: A general model for multilocus epistatic interactions in case–control studies. PLoS One. 2010, 5 (8): e11384-10.1371/journal.pone.0011384.PubMed CentralView ArticlePubMedGoogle Scholar
- Pettersson M, Besnier F, Siegel PB, Carlborg Ö: Replication and explorations of high-order epistasis using a large advanced intercross line pedigree. PLoS Genet. 2011, 7 (7): e1002180-10.1371/journal.pgen.1002180.PubMed CentralView ArticlePubMedGoogle Scholar
- Imielinski M, Belta C: Exploiting the pathway structure of metabolism to reveal high-order epistasis. BMC Syst Biol. 2008, 2: 40-10.1186/1752-0509-2-40.PubMed CentralView ArticlePubMedGoogle Scholar
- Butcher EC, Berg EL, Kunkel EJ: Systems biology in drug discovery. Nat Biotech. 2004, 22: 1253-1259. 10.1038/nbt1017.View ArticleGoogle Scholar
- Hopkins AL: Network pharmacology: the next paradigm in drug discovery. Nat Chem Biol. 2008, 4: 682-690. 10.1038/nchembio.118.View ArticlePubMedGoogle Scholar
- Wu RL, Zeng ZB: Joint linkage and linkage disequilibrium mapping in natural populations. Genetics. 2001, 157: 899-909.PubMed CentralPubMedGoogle Scholar
- Yap J, Fan JWRL: Nonparametric modeling of covariance structure in functional mapping of quantitative trait loci. Biometrics. 2009, 65: 1068-1077. 10.1111/j.1541-0420.2009.01222.x.PubMed CentralView ArticlePubMedGoogle Scholar
- Wu RL, Ma CX, Casella G: Statistical Genetics of Quantitative Traits: Linkage, Maps, and QTL. 2007, New York: SpringerGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.