AIDS-094831 AIDS094831 Methyl(2-phenyl-4-spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-10-ylbutyl)(phenylsulfonyl)amine