10-{3-(2H-Benzo[d]1,3-dioxolan-5-yl)(3S)-4-[methyl(phenylsulfonyl)amino]butyl}spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-1-one AIDS-094845 AIDS094845