3-(Octylamino)pyrrolidine-2,5-dione AIDS-187855 AIDS187855