A series of novel synthetic peptides containing an N-terminal glyoxylyl function (CHOCO-) have been tested as inhibitors of HIV-1 protease. The N-glyoxylyl peptide CHOCO-Pro-He- Val-NH2, which fulfills the specificity requirements of the MA/CA protease cleavage site together with the criteria of transition state analogue of the catalyzed reaction, was found to be a moderate competitive inhibitor although favorable interactions were visualized ...