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