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