Antiretroviral therapy to treat AIDS uses molecules that target the reverse transcriptase and protease enzymes of human immunodeficiency virus, type 1 (HIV-1). A major problem associated with these treatments, however, is the emergence of drug-resistant strains. Thus, there is a compelling need to find drugs against other viral targets. One such target is the interaction between Tat, an HIV-1 regulatory protein essential for viral replication, and trans-activation-responsive (TAR) RNA. Here we describe the design and synthesis of an encoded combinatorial library containing 39,304 unnatural small molecules. Using a rapid high through-put screening technology, we identified 59 compounds. Structure-activity relationship studies led to the synthesis of 19 compounds that bind TAR RNA with high affinities. In the presence of a representative Tat-TAR inhibitor (5 microM TR87), we observed potent and sustained suppression of HIV replication in cultured cells over 24 days. The same concentration of this inhibitor did not exhibit any toxicity in cell cultures or in mice. TR87 was also shown to specifically disrupt Tat-TAR binding in vitro and inhibit Tat-mediated transcriptional activation in vitro and in vivo, providing a strong correlation between its activities and inhibition of HIV-1 replication. These results provide a structural scaffold for further development of new drugs, alone or in combination with other drugs, for treatment of HIV-1-infected individuals. Our results also suggest a general strategy for discovering pharmacophores targeting RNA structures that are essential in progression of other infectious, inflammatory, and genetic diseases.