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