CD4 and HIV infectious disease: As AIDS is characterized by a loss of CD4+ T cells, much modeling work has focused on quantifying T-cell turnover during HIV infection using direct labeling as well as cell markers such as T-cell receptor excision circles.