10-{3-[Methyl(phenylsulfonyl)amino]-2-phenylpropyl}spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-1,1-dione AIDS-092613 AIDS092613