TAT and infection: To confirm productive infection in mice, spliced HIV-1 viral genes (Vif and Tat) were quantified through qPCR as previously described20.