1-(2-Thienyl)-5(S)-2,5-bis[[2-N-(methoxycarbonyl)-L-valinyl]amino]-4(S)-hydroxy-6-phenyl-2-azahexane AIDS-030842 AIDS030842 Aza-peptide isostere