Defective HIV-1 proviruses produce viral proteins | Synapse