This document describes a computational method for redesigning the HIV-1 protease enzyme to cleave a desired target sequence. The method uses a docking protocol to predict substrate binding and generate protease mutants with lower binding energies. The top mutant structures are refined with quantum chemistry calculations to determine qualitative binding energies. The goal is to iteratively mutate the best cleaving sequence into the target sequence one amino acid at a time to obtain a protease variant that cleaves the target.