Mathematical analysis of the global dynamics of a model for HIV infection of CD4+ T cells.