The CRISPR/Cas9 system inactivates latent HIV-1 proviral DNA | Synapse