Drug Discovery Today: Technologies
Vol. 10, No. 4 2013
Editors-in-Chief Kelvin Lam – Blue Sky Biotech, Inc., Worcester, MA Henk Timmerman – Vrije Universiteit, The Netherlands DRUG DISCOVERY
TODAY
TECHNOLOGIES
Modulation of protein–protein interactions
Rational design of LEDGINs as first allosteric integrase inhibitors for the treatment of HIV infection Belete A. Desimmie, Jonas Demeulemeester, Frauke Christ, Zeger Debyser* Laboratory for Molecular Virology and Gene Therapy, KU Leuven, Leuven 3000, Flanders, Belgium
The interaction between lens epithelium-derived growth factor (LEDGF/p75) and HIV-1 integrase (IN) is an attractive target for antiviral development
Section editor: Christian Ottman – Max Planck Society, Dortmund, Germany.
because its inhibition blocks HIV replication. Developing novel small molecules that disrupt the LEDGF/p75– IN interaction constitutes a promising new therapeutic strategy for the treatment of HIV. Here we will highlight recent advances in the design and development of small-molecule inhibitors binding to the LEDGF/p75 binding pocket of IN, referred to as LEDGINs. Introduction Protein–protein interactions (PPIs) represent an attractive group of biologically relevant targets for the development of small molecule inhibitors, classified as SMPPIIs (small molecule protein–protein interaction inhibitors) [1–3]. However, protein–protein interfaces often have flat, weakly defined and large hydrophobic surfaces that are not ideal for small molecules to bind to. Therefore, obtaining valid starting points for the design and optimization of SMPPIIs has been difficult [3]. Moreover, modulation of PPIs to develop therapeutics is defined not only by the physicochemical properties of the protein–protein interface but also by the biological properties of the identified inhibitors. The human immunodeficiency virus (HIV) relies on host cellular machinery to complete its replication cycle. HIV hijacks several biological processes and protein complexes *Corresponding author.: Z. Debyser (
[email protected]) 1740-6749/$ ß 2012 Elsevier Ltd. All rights reserved.
of the host cell through distinct virus–host PPIs [4]. Because these host–pathogen interactions directly mediate viral replication and disease progression, their specific disruption can provide alternative targets for therapeutic intervention. Herein, we discuss the recent success in the application of structure-based drug design in the discovery and development of allosteric HIV-1 integrase inhibitors, the LEDGINs [5]. LEDGINs are characterized by their binding to the LEDGF/p75 binding site on the core domain of integrase and inhibit the interaction between lens epithelium-derived growth factor/p75 (LEDGF/p75) and HIV-1 integrase (IN). We will briefly discuss the role of the LEDGF/p75–IN interaction in HIV-1 replication, followed by a discussion on how LEDGINs block HIV replication.
HIV infection and the quest for novel antiretroviral drugs HIV infection remains a substantial public health as well as a socioeconomic problem worldwide [6]. Although highly active antiretroviral therapy (HAART) profoundly increases survival by chronically suppressing viral replication to below detection limits, it has not been possible to achieve a cure. Interruption of HAART typically results in a rebound of viral replication. This is primarily because HIV ingeniously escapes from the continuous immune surveillance in a small pool of latently infected cells that are not susceptible to drug therapy.
http://dx.doi.org/10.1016/j.ddtec.2012.10.002
e517
Drug Discovery Today: Technologies | Modulation of protein–protein interactions
These latently infected cells reside in reservoirs where the distribution of antiretroviral (ARV) drugs is extremely variable and often lower than the expected maximal inhibitory concentration [7–10]. Moreover, the rapid replication rate and the generation of extensive genetic diversity support the emergence of drug resistant viral strains, resulting in treatment failure. Therefore, there is a continuous demand to search for novel and better ARVs to better control the HIV pandemic with the hope of eventually inducing permanent remission of the disease. In recent years our understanding of the HIV–host interaction has dramatically increased. Not surprisingly, there are numerous interactions between HIV and cellular proteins involved in all stages of virus replication, opening a window for the discovery of novel therapeutic classes [4,11– 13]. In principle, any distinct interaction between virus encoded proteins and host co-factors has the potential to be a target for drug design. The CCR5 antagonist, maraviroc, was approved as the first ARV targeting a host factor [14]. Maraviroc binds to the CCR5 co-receptor on the surface of cells and prevents interaction with the Gp120 envelope protein of the virus [15]. Targeting virus–host PPIs demonstrates that HIV-1 therapeutic targets are not limited to virus-encoded enzymes and that understanding of the virus–host interactome can be the basis for effective antiHIV drugs [4,16]. In theory, this pharmacological strategy is expected to make it more difficult for the virus to develop resistance. Because the host factor is genetically conserved in a biologically relevant host–virus interaction, resistance is less likely to occur, increasing the clinical potential of these drugs.
The LEDGF/p75–IN interaction as novel antiviral target LEDGF/p75 is implicated in the regulation of stress response proteins. The protein is 530 amino acids long and a strong binding partner of HIV-1 IN [17]. LEDGF/p75 is characterized by an N-terminal chromatin and DNA interacting region and a C-terminal integrase binding domain (IBD) (Fig. 1a). HIV integrase is an oligomeric enzyme that orchestrates the insertion of the viral genome into the host chromatin [18,19]. It is composed of three domains: the N-terminal domain (NTD), the catalytic core domain (CCD, containing the active site) and the C-terminal domain (CTD). The LEDGF/p75 binding pocket on integrase is only evident from at least a dimeric enzyme [20]. The crystal structure of the IBD in complex with the CCD of IN was a major advance in defining the structural properties and the stoichiometry of the IBD–CCD complex [20]. The nature of the interaction between LEDGF/p75 and HIV-1 IN proteins has been firmly established by genetic and biochemical studies (for a comprehensive review see Ref. [21]). Additionally, the importance of LEDGF/p75 in HIV replication was extensively studied via mutagenesis, RNAi, e518
www.drugdiscoverytoday.com
Vol. 10, No. 4 2013
(a) Intasome
IN p75
GF/
LED
WP
PW
AT
IN IN
IN
BD
I
oks
ho
Chromosomal DNA (b)
I365
D366 L368
Drug Discovery Today: Technologies
Figure 1. LEDGINs bind to the LEDGF/p75 binding pocket on HIV-1 integrase. (a) LEDGF/p75 has an N-terminal chromosomal DNA binding region including a PWWP domain and AT hooks. The Cterminus contains the well-characterized integrase binding domain (IBD) and acts as a protein interaction playground. The interaction of the catalytic core domain (CCD) of HIV integrase with the IBD of LEDGF/p75 is crucial to facilitate the tethering of the HIV intasome on the chromatin. (b) Cartoon representation of the IN CCD dimer (pale green and pale yellow) with LEDGIN 6 superposed with the IBD (PDB entry 2B4J, grey) reveals mimicry of the protein–protein interaction. LEDGIN 6 phenyl, acid and chlorine groups substitute for LEDGF/p75 residues I365, D366 and L368 side chains, respectively.
transdominant overexpression of the IBD of LEDGF/p75 and knock-out studies [22–30]. The feasibility of inhibiting the LEDGF/p75–IN interaction was initially demonstrated by De Rijck et al. [28] who showed that overexpression of the IBD of LEDGF/p75 in cells reduced HIV replication 100-fold. Serial passaging of the virus in IBD overexpressing cells yielded a resistant virus with IN mutations A128T and E170G, located in the LEDGF/p75 binding pocket [29]. Al-Mawsawi et al. [31] subsequently showed that a LEDGF/p75-derived oligopeptide containing the IN interacting residues Ile355 and Asp366 blocked the interaction between LEDGF/p75 and IN [31]. Even though peptides and natural products have been shown to modulate PPIs in several therapeutic areas, their physicochemical properties make them less amenable for drug development [1]. Therefore, identification of small molecule inhibitors that bind to the LEDGF/p75 binding pocket in HIV-1 IN was suggested as
Vol. 10, No. 4 2013
Drug Discovery Today: Technologies | Modulation of protein–protein interactions
novel therapeutic strategy [22]. Du et al. [32] reported a benzoic acid derivative small molecule inhibitor, D77 that disrupts the LEDGF/p75–IN interaction and inhibited HIV replication. Subsequently, structure-based drug design resulted in the identification of small molecules (CHIBA3002 and its analogs) that weakly inhibit the LEDGF/p75– IN interaction [33]. However, the first potent inhibitors of HIV replication that act by disrupting the LEDGF/p75–IN interaction were only reported in 2010. We applied rational drug design to identify LEDGINs, small molecule inhibitors that bind to the LEDGF/p75 binding pocket in HIV-1 IN (Fig. 1b) and inhibit HIV integration [5].
In principle, any drug discovery project requires design, prioritization, analysis and interpretation of results from consecutive experiments to ultimately facilitate the development of new therapeutic compounds. It is the combination of methods, rather than a single experiment that moves a drug discovery project forward. Therefore information from the first round of rational design is usually used to re-evaluate and optimize the initial pharmacophore model, which leads to multiple sequential rounds of in silico design and biological testing. The scheme of the rational drug design workflow used during the discovery and hit-to-lead optimization process of LEDGINs is depicted in Fig. 2.
Rational design of LEDGF/p75–IN interaction inhibitors
Activity and optimization of hit compounds
Different approaches have been employed to design and identify small-molecule inhibitors of the LEDGF/p75–IN interaction. These include in vitro high-throughput screening of compound libraries [32,34], in silico virtual screening of libraries and structure-based de novo design [5,33]. Highthroughput screening of large libraries of compounds against a biological target is still the prevailing method for the identification of new hit compounds in modern drug discovery. Alternatively, virtual screening is based on a knowledge-driven, computer-aided survey of virtual libraries. This approach usually results in a limited subset of small molecules, possessing certain features defined by the screening algorithm and which are predicted to have the desired activity on a target. Subsequently only this relative small selection of molecules is evaluated for biological activity. To obtain bona fide LEDGF/p75–IN interaction inhibitors, we embarked on structure-based drug design in 2007 [5]. The development of LEDGINs required a multi-disciplinary effort integrating expertise in molecular modeling, medicinal chemistry, crystallography and virology [5]. Different crystal structures of the HIV-1 IN CCD [35], a co-crystal structure with the IBD of LEDGF/p75 [20] and a co-crystal structure with a ligand (tetraphenyl arsonium) bound to the CCD [36] were superposed to deduce a consensus pharmacophore model for the LEDGF/p75 binding pocket. This model represents a series of steric and electronic features in 3D space predicted to be crucial for binding to the LEDGF/p75 binding pocket located at the dimer interface of the HIV-1 IN CCD. Around 200,000 commercially available and structurally diverse compounds were subjected to a set of 2D rule-based filters describing SMPPII chemical space. The compounds selected through filtering were fitted to the pharmacophore query and the best scoring hits were submitted to docking analysis. After consensus scoring, the highest ranking compounds were inspected manually and 25 compounds were selected for biological evaluation in an LEDGF/p75–IN interaction assay.
Our primary assay was a direct LEDGF/p75–IN interaction assay built on the AlphaScreen platform, a bead-based assay technology able to detect biomolecular interactions [5,34,37]. Of the 25 molecules retained from the initial screening, four hit molecules moderately inhibited the LEDGF/p75–HIV-1 IN interaction. One of the hit molecules, LEDGIN 1, inhibited the PPI by 36% at 100 mM (Table 1) [5]. Based on this initial activity, LEDGINs 2 and 3 were selected from commercial databases, which marked the beginning of structure activity relationship (SAR) investigations aimed at the identification of more potent analogs. Co-crystals of LEDGIN 3 with the IN CCD were obtained and validated the pharmacophore model: a clear mimicry was observed of LEDGF/p75 residues I365, D366 and L368 by the LEDGIN phenyl, acid and chlorine groups, respectively. Each of these three substituents satisfied a crucial feature of the initial pharmacophore hypothesis. Further medicinal chemistry optimization, fueled by structural input from the LEDGINsoaked HIV-1 CCD crystals, generated analogs of LEDGIN 3 (including LEDGIN 6 and 7) with improved biological activity (Table 1). Integrase strand transfer inhibitors (INSTIs) bind to the active site of IN [38]. Unlike INSTIs which recognize the conformational changes of IN catalytic site after assembly on a specific viral DNA ends, LEDGINs bind to IN irrespective of its assembly on viral DNA ends. In addition these first-inclass anti-HIV compounds are potent antivirals in cell culture and are active against a broad-spectrum of HIV-strains with a high selectivity index. Of note Hou et al. [34] identified several compounds inhibiting the LEDGF/p75–IN interaction through high-throughput screening of a compound library of more than 700,000 small molecules using AlphaScreen assay. However, the nature of these compounds and their antiviral activity spectrum is yet to be revealed. Nevertheless, LEDGINs are the first examples of potent and specific inhibitors of HIV-1 replication which have been extensively evaluated for their therapeutic potential and mechanism of action in cell-based antiviral assays (including in primary cells) [5]. www.drugdiscoverytoday.com
e519
Drug Discovery Today: Technologies | Modulation of protein–protein interactions
Vol. 10, No. 4 2013
Medicinal chemistry
OH
Cl
Molecular modelling
N
Co-crystallization
O
Biological evaluation MTT/MT4 antiviral assay EC50
HIV-infected cells
CC50
Mock-infected cells
Compound concentration (µM) Controls
Hit-to-lead optimization
Drug Discovery Today: Technologies
Figure 2. Rational design of LEDGINs; the workflow. LEDGINs result from a rational drug discovery strategy involving a multidisciplinary effort. A 3D pharmacophore query was constructed to virtually screen around 200,000 molecules from commercial libraries. After docking, multiply scoring and filtering, 25 of the highest-ranking molecules were purchased and tested in the in vitro AlphaScreen assay. A hit compound emerging from the screen was optimized by reiterative chemical refinement and biological profiling in AlphaScreen and a cell-based antiviral assay: MTT/MT4. Structure–activity relationships were deduced and used together with co-crystals of IN and LEDGINs to guide synthesis of analogues with enhanced activity as depicted in Table 1. The resulting early lead compounds were then further optimized while the molecular mechanism of action was comprehensively investigated in cell culture, including a time of addition (TOA) analysis. In the AlphaScreen subset of the biological evaluation the letters D and A stand for a donor and acceptor beads, respectively. EC50; effective concentration required to reduce HIV-1 induced cytopathic effect by 50% in MT-4 cells and CC50; cytotoxic concentration reducing MT-4 cell viability by 50%.
LEDGINs as HIV-1 therapeutics A crucial evaluation of the mechanism of action and therapeutic potential of LEDGINs requires evaluation of the following drug characteristics: (a) a high binding affinity and specificity to HIV IN, (b) potent and broad-spectrum anti-HIV activities in cell-based antiviral assays, and (c) lack of toxicity. To date, more potent LEDGIN congeners meet these criteria and are in advanced preclinical development. Like INSTIs, LEDGINs inhibit the integration step of HIV-1 replication as shown by quantitative PCR (Q-PCR) [5]. Integration inhibitors are characterized by Q-PCR analyses of the copy number of integrated provirus and 2-LTR circles. The latter are dead-end by-products of non-integrated viral DNA and are used to corroborate a defect in integration without significant effects on the preceding steps [38]. Classical INSTIs such as raltegravir, but also LEDGINs, significantly reduce the e520
www.drugdiscoverytoday.com
number of integrated proviral DNA copies and consequently induce accumulation of 2-LTR circles [5]. Importantly, LEDGINs do not show any cross-resistance with INSTIs, implying that they might serve as second-generation inhibitors if they meet the pharmacokinetic and pharmacodynamic requirements needed for further clinical development. A resistant strain was selected against LEDGIN 6 which carries an A128T substitution in integrase. In the native complex, IN A128 makes substantial Van der Waals interactions with LEDGF/p75 residues I365 and L368 – both important features in the pharmacophore model – but also with F406 and V408 which extend from the second interfacial IBD loop [20]. LEDGIN 6, at least in part, mimics these interactions and is in close contact with A128. Correspondingly, the A128T substitution reduced the binding of LEDGINs to IN and caused loss of their antiviral activity, confirming the
Vol. 10, No. 4 2013
Drug Discovery Today: Technologies | Modulation of protein–protein interactions
Table 1. Assay results of hits and their biological activity LEDGIN
Structure
LEDGF–IN interaction IC50 (mM)
Antiviral activity EC50 (mM)
1a
36%
ND
2
27.27
ND
3
12.2 3.4
41.9 1.1
4
9.24 0.79
10.8 1.1
5
13.2 2.8
12.4 1.2
6
1.4 0.4
2.35 0.3
7
0.85 0.3
0.76 0.08
ND, not determined. a Compound showed 36% inhibition of LEDGF/p75–IN interaction at 100 mM.
antiviral target. However, it did not induce any cross-resistance towards INSTIs, substantiating the novel mode of action of LEDGINs [5]. There are some obvious advantages of drugs targeting the LEDGF/p75–IN interaction. First, LEDGINs show a divergent resistance development pathway to that of INSTIs and lack cross-resistance with other classes of ARVs. Another attractive advantage of LEDGINs is their broad-spectrum anti-HIV-1 activity. Discovery of LEDGINs is a good example of rational
drug design targeting well-defined and biologically relevant protein–protein interactions.
Conclusions This review highlights both the importance of LEDGF/p75– IN interactions as a key component of HIV replication and the rational design of LEDGINs as novel antivirals. Because PPIs have pivotal roles in virtually all physiological and disease-related intracellular macromolecular complexes, www.drugdiscoverytoday.com
e521
Drug Discovery Today: Technologies | Modulation of protein–protein interactions
selection of a tractable protein–protein interaction is important. Moreover, targeting the PPIs is more challenging than drug targets that naturally bind small molecules. While the example discussed here is particularly relevant to the field of virology, application of the screening and characterization protocols that were implemented to discover LEDGINs will offer a powerful technology to other fields as our knowledge on the role of PPIs in human diseases expands.
Acknowledgments Our work is funded by the European Commission (FP6/FP7) through the European Consortia TRIoH (LSHB-CT-2003503480) and THINC (HEALTH-F3-2008-201032) and K.U. Leuven BOF. B.A.D. is a DBOF fellow of the K.U. Leuven, F.C. is an IOF fellow and JD is an FWO fellow.
Vol. 10, No. 4 2013
16 17
18 19 20
21
22
23 24
References 1 Berg, T. (2003) Modulation of protein–protein interactions with small organic molecules. Angew. Chem. 42, 2462–2481 2 Wells, J.A. and McClendon, C.L. (2007) Reaching for high-hanging fruit in drug discovery at protein–protein interfaces. Nature 450, 1001–1009 3 Arkin, M.R. and Wells, J.A. (2004) Small-molecule inhibitors of protein– protein interactions: progressing towards the dream. Nat. Rev. Drug Discov. 3, 301–317 4 Jager, S. et al. (2012) Global landscape of HIV-human protein complexes. Nature 481, 365–370 5 Christ, F. et al. (2010) Rational design of small-molecule inhibitors of the LEDGF/p75–integrase interaction and HIV replication. Nat. Chem. Biol. 6, 442–448 6 UNAIDS, Report on the global AIDS epidemic. Geneva, UNAIDS, 2010 (http://www.unaids.org/en/KnowledgeCentre/HIVData/GlobalReport/ 2008, accessed 29 October 2011) 7 Lafeuillade, A. et al. (2005) Investigating cellular antiretroviral resistance: preliminary results of the ICARE study. 3rd IAS Conference on HIV Pathogenesis and Treatment, Rio de Janeiro, 24–27 July (abstract WeOa0201) 8 Lafeuillade, A. et al. (2002) Differences in the detection of three HIV-1 protease inhibitors in non-blood compartments: clinical correlations. HIV Clin. Trials 3, 27–35 9 Moir, S. et al. (2011) Pathogenic mechanisms of HIV disease. Annu. Rev. Pathol. 6, 223–248 10 Cohen, J. (2011) HIV/AIDS research. Tissue says blood is misleading, confusing HIV cure efforts. Science 334, 1614 11 Brass, A.L. et al. (2008) Identification of host proteins required for HIV infection through a functional genomic screen. Science 319, 921–926 ¨ nig, R. et al. (2008) Global analysis of host–pathogen interactions that 12 Ko regulate early-stage HIV-1 replication. Cell 135, 49–60 13 Houzet, L. and Jeang, K.T. (2011) Genome-wide screening using RNA interference to study host factors in viral replication and pathogenesis. Exp. Biol. Med. 236, 962–967 14 Dorr, P. et al. (2005) Maraviroc (UK-427,857), a potent, orally bioavailable, and selective small-molecule inhibitor of chemokine receptor CCR5 with broad-spectrum anti-human immunodeficiency virus type 1 activity. Antimicrob. Agents Chemother. 49, 4721–4732 15 Sayana, S. and Khanlou, H. (2009) Maraviroc: a new CCR5 antagonist. Expert Rev. Anti Infect. Ther. 7, 9–19
e522
www.drugdiscoverytoday.com
25
26 27 28
29 30
31
32
33
34
35
36
37
38
Rice, A.P. and Sutton, R.E. (2007) Targeting protein–protein interactions for HIV therapeutics. Future HIV Ther. 1, 369–385 Cherepanov, P. et al. (2003) HIV-1 integrase forms stable tetramers and associates with LEDGF/p75 protein in human cells. J. Biol. Chem. 278, 372–381 Bushman, F.D. et al. (1990) Retroviral DNA integration directed by HIV integration protein in vitro. Science 249, 1555–1558 Maertens, G.N. et al. (2010) The mechanism of retroviral integration from X-ray structures of its key intermediates. Nature 468, 326–329 Cherepanov, P. et al. (2005) Structural basis for the recognition between HIV-1 integrase and transcriptional coactivator p75. Proc. Natl. Acad. Sci. U. S. A. 102, 17308–17313 Hare, S. and Cherepanov, P. (2009) The interaction between lentiviral integrase and LEDGF: structural and functional insights. Viruses 1, 780–801 Busschots, K. et al. (2009) In search of small molecules blocking interactions between HIV proteins and intracellular cofactors. Mol. BioSyst. 5, 21–31 Ciuffi, A. et al. (2005) A role for LEDGF/p75 in targeting HIV DNA integration. Nat. Med. 11, 1287–1289 Lewinski, M.K. et al. (2006) Retroviral DNA integration: viral and cellular determinants of target-site selection. PLoS Pathog. 2, e60 Wang, G.P. et al. (2007) HIV integration site selection: analysis by massively parallel pyrosequencing reveals association with epigenetic modifications. Genome Res. 17, 1186–1194 Llano, M. et al. (2006) An essential role for LEDGF/p75 in HIV integration. Science 314, 461–464 Marshall, H.M. et al. (2007) Role of PSIP1/LEDGF/p75 in lentiviral infectivity and integration targeting. PLoS One 2, e1340 De Rijck, J. et al. (2006) Overexpression of the lens epithelium-derived growth factor/p75 integrase binding domain inhibits human immunodeficiency virus replication. J. Virol. 80, 11498–11509 Hombrouck, A. et al. (2007) Virus evolution reveals an exclusive role for LEDGF/p75 in chromosomal tethering of HIV. PLoS Pathog. 3, e47 Vandekerckhove, L. et al. (2006) Transient and stable knockdown of the integrase cofactor LEDGF/p75 reveals its role in the replication cycle of human immunodeficiency virus. J. Virol. 80, 1886–1896 Al-Mawsawi, L.Q. et al. (2008) Inhibitory profile of a LEDGF/p75 peptide against HIV-1 integrase: insight into integrase–DNA complex formation and catalysis. FEBS Lett. 582, 1425–1430 Du, L. et al. (2008) D77: one benzoic acid derivative, functions as a novel anti-HIV-1 inhibitor targeting the interaction between integrase and cellular LEDGF/p75. Biochem. Biophys. Res. Commun. 375, 139–144 De Luca, L. et al. (2009) Pharmacophore-based discovery of small-molecule inhibitors of protein–protein interactions between HIV-1 integrase and cellular cofactor LEDGF/p75. ChemMedChem 4, 1311–1316 Hou, Y. et al. (2008) Screening for antiviral inhibitors of the HIV integrase– LEDGF/p75 interaction using the AlphaScreen luminescent proximity assay. J. Biomol. Screen. 13, 406–414 Maignan, S. et al. (1998) Crystal structures of the catalytic domain of HIV-1 integrase free and complexed with its metal cofactor: high level of similarity of the active site with other viral integrases. J. Mol. Biol. 282, 359–368 Molteni, V. et al. (2001) Identification of a small-molecule binding site at the dimer interface of the HIV integrase catalytic domain. Acta Crystallogr. D: Biol. Crystallogr. 57 (Pt 4), 536–544 Bartholomeeusen, K. et al. (2007) Differential interaction of HIV-1 integrase and JPO2 with the C terminus of LEDGF/p75. J. Mol. Biol. 372, 407–421 Hazuda, D.J. et al. (2000) Inhibitors of strand transfer that prevent integration and inhibit HIV-1 replication in cells. Science 287, 646–650