AIDS-094847 AIDS094847 Methyl(phenylsulfonyl)(4-spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-10-yl-2-(2-thienyl)butyl)amine