5-Oxo-1-(phenylsulfonyl)-2-pyrrolidinecarbohydrazide AIDS-138223 AIDS138223 NSC644634