1-Cyclohexyl-5(S)-2,5-bis[[2-N-(2-propenyloxycarbonyl)-L-valinyl]amino]-4(S)-hydroxy-6-phenyl-2-azahexane AIDS-030849 AIDS030849 bis-Val HOEt-N2 aza-peptide isostere