AIDS-028497 AIDS028497 Thieno[3,2-c]pyridine-6-carboxamide, 5-[(2R,3S)-3-[[(2S)-2-((trifluoroacetyl)amino)-3-(2-naphthalenylsulfonyl)-1-oxopropyl]amino]-2-hydroxy-4-phenylbutyl]-N-(1,1-dimethylethyl)octahydro-, (3aR,6S,7aS)-