CD4 and HIV infectious disease: This is a modified version of a previously described model, commonly referred to as the “Lewin model”[16], with the distinction that the Lewin model depletes activated CD4+ T-cells prior to HIV infection, whereas we depleted activated CD4+ T-cells after HIV infection, immediately prior to use in downstream assays.