(5R)-3-{2-(3-Chlorophenyl)-4-[1-(methylsulfonyl)spiro[indoline-3,4'-piperidine]-10-yl]butyl}-5-benzylimidazolidine-2,4-dione AIDS-112339 AIDS112339