AIDS-028502 AIDS028502 Thieno[3,2-c]pyridine-6-carboxamide, N-(1,1-dimethylethyl)octahydro-5-[(2R,3S)-2-hydroxy-3-[[(2S)-2-[(methylsulfonyl)amino]-1-oxo-3-(8-quinolinylsulfonyl)propyl]amino]-4-phenylbutyl]-, (3aR,6S,7aS)-