10-{(3S)-3-(3,4-Dichlorophenyl)-4-[ethyl(phenylsulfonyl)amino]butyl}spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-1,1-dione AIDS-113331 AIDS113331