An immunofluorescence microscopy assay to discriminate distinct expression patterns of HIV-1 Gag and Nef proteins in HIV-1 provirus-harboring cells | Synapse