CD9 and infection: When the infection efficiency reached about 50%, the cells were stained for HIV-1 Nef and p24 and analyzed for cells that were not infected with HIV but positive for Nef, i.e., p24-Nef+ cells by flow cytometry.