To determine whether HIV infection affects the egress of S1PR1+ thymocytes to the periphery, we used the triple knock-out (TKO) HIS mouse model, the C57BL/6 Rag2−/−CD47−/−ILRG−/− line [37]. Here, S1PR1 is linked to HIV infectious disease.