We describe the use of pharmacophore modeling as an efficient tool in the discovery of novel HIV-1 integrase (IN) inhibitors. A three-dimensional hypothetical model for the binding of diketo acid analogues to the enzyme was built by means of the Catalyst program. Using these models as a query for virtual screening, we found several compounds that contain the specified 3D patterns of chemical functions. Biological testing shows that our strategy was successful in searching for new structural leads as HIV-1 IN inhibitors.