10-{3-(3,5-Dichlorophenyl)-4-[methyl(phenylsulfonyl)amino]butyl}spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-1,1-dione AIDS-094843 AIDS094843