10-((3S)-3-(3,4-dichlorophenyl)-4-{methyl[(4-nitrophenyl)sulfonyl]amino}butyl)spiro[2,3-dihydrobenzo[b]thiophene-3,4'-piperidine]-1,1-dione AIDS-092823 AIDS092823