2,4,5-Trioxo-1-phenyl-3-pyrrolidinecarbonitrile AIDS-133925 AIDS133925 NSC630905