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