10-((3S)-3-(3,4-dichlorophenyl)-4-{methyl[(4-phenylphenyl)sulfonyl]amino}butyl)spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-1-one AIDS-092825 AIDS092825