10-{(3S)-3-(3,4-dichlorophenyl)-4-[(cyclohexylsulfonyl)methylamino]butyl}spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-1-one AIDS-092818 AIDS092818