2,4,5-Trioxo-3-pyrrolidinecarbonitrile AIDS-133930 AIDS133930 NSC630911