This document discusses HIV protease inhibitors. It begins by introducing HIV and HIV protease. HIV protease is a homodimer that catalyzes essential events in the maturation of infective HIV particles. The structure of HIV protease contains an active site with two essential aspartic acid residues. Upon inhibitor binding, residues in flexible flaps undergo movements to interact with the inhibitor. A number of early HIV protease inhibitors are discussed, including diol diamines that entered clinical trials but had limitations. Cyclic urea inhibitors were designed to interact symmetrically with the active site. Three approved HIV protease inhibitors are then briefly described: saquinavir was the first approved, indinavir overcame low bioavailability issues, and ampren