10-{4-[Methyl(phenylsulfonyl)amino]-3-thiolan-2-ylbutyl}spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-1-one AIDS-096310 AIDS096310