(5R)-3-[2-(3-Chlorophenyl)-4-(1-oxospiro[indane-3,4'-piperidine]-10-yl)butyl]-5-benzylimidazolidine-2,4-dione AIDS-112340 AIDS112340