The HIV protease has been the target of several anti-HIV medications called protease inhibitors. This antiviral strategy is possible because protease inhibitors _____.