AIDS-071030 AIDS071030 [1S-(1R*,4R*,5S*)]-N-(1-(2-amino-2-oxoethyl)-2-oxo-3-aza-4-phenylmethyl-5-hydroxy-6- (2-(1-t-butylamino-1-oxomethyl)thien-3-yl)hexyl)-2-quinolinyl carboxamide