NOTCH1 and infection: We validated these candidates in an independent infection time course experiment using SILAC as an alternative quantitative proteomic approach (Figures 2A and 2B) and confirmed downregulation of a functionally and structurally diverse set of proteins with available antibody reagents (CD43/47/162 and NOTCH1) by flow cytometry in CEM-T4s and primary human CD4+ T cells infected with HIV-1 (Figure S2A).