Synthesis of a cis-conformationally restricted peptide bond isostere and its application to the inhibition of the HIV-1 protease