Peptide substrates and inhibitors of the HIV-1 protease