Restricting the flexibility of crosslinked, interfacial peptide inhibitors of HIV-1 protease.