Processing of the retroviral gag and pol gene products is mediated by a viral protease. Bacterial expression systems have been developed which permit genetic analysis of the human immunodeficiency virus type 1 protease as measured by cleavage of the pol protein precursor. Deletion analysis of the pol reading frame locates the sequences required to encode a protein with appropriate proteolytic activity near the left end of the pol reading frame but largely outside the gag-pol overlap region, which is at the extreme left end of pol. Most missense mutations within an 11-amino-acid domain highly conserved among retroviral proteases and with sequence similarity to the active site of aspartic proteinases abolish appropriate processing, suggesting that the retrovirus proteases share a catalytic mechanism with aspartic proteinases. Substitution of the amino acids flanking the scissile bond at three of the processing sites encoded by pol demonstrates distinct sequence requirements for cleavage at these different sites. The inclusion of a charged amino acid at the processing site blocks cleavage. A subset of these substitutions also inhibits processing at the nonmutated sites