AIDS-092799 AIDS092799 [(2S)-2-(3,4-dichlorophenyl)-4-spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-10-ylbutyl](phenylsulfonyl)amine