PTPRC and HIV infectious disease: Human leukocytes that populate the mice are predominantly memory T-cells as monitored by human leukocyte-specific cell surface markers: leukocyte common antigen CD45 and T-cell markers CD3, CD4, and CD8 (Fig S3) and are highly susceptible to HIV infection (71).