1-Amino-2-aryl-4-(piperidin-1-yl)butane deriv. 10-{(3R)-3-(3,4-Dichlorophenyl)-4-[methyl(phenylsulfonyl)amino]butyl}spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-1-one AIDS-071007 AIDS071007