1-[4-(Thiophen-2-yl)-phenyl]-4(S)-hydroxy-5(S)-2,5-bis[N-(N-methoxycarbonyl-(L)-valyl)amino]-6-phenyl-2-azahexane AIDS-057754 AIDS057754 Heterocyclic Azahexane deriv.