The protease of the human immunodeficiency virus type 1 (HIV-1) is essential for the processing of GAG and POL polyproteins and maturation of the virus particles. Using recombinant protease and a truncated GAG polyprotein as substrate, we developed a Western blot assay for the evaluation of inhibitors of the enzyme. Two statine-based inhibitors of the enzyme, KH161 and KH164, were effective in blocking the replication of HIV-1 in acutely infected human T4 lymphoid cells, with potency approaching that of zidovudine (ZDV) when tested in parallel. In chronically infected cells, the production of infectious virus was inhibited by KH161 and KH164, while ZDV was ineffective. Both KH161 and KH164 were also active as antivirals against the replication of murine leukemia virus (MLV) in cultured mouse cells. In an animal model of a murine retroviral disease, KH164 was shown to inhibit in a dose-dependent manner the progression of the disease induced by Friend virus complex (a mixture of Friend MLV and spleen focus-forming virus). The results suggest that the progression of the acquired immune deficiency syndrome (AIDS) may be impeded by inhibitors of HIV-1 protease.