AIDS-094839 AIDS094839 [(2S)-2-(4-Fluorophenyl)-4-spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-10-ylbutyl]methyl(phenylsulfonyl)amine