1-(((2-Oxo-1-(2-propynyl)hydrazino)carbonyl)oxy)-2,5-pyrrolidinedione AIDS-135310 AIDS135310 NSC634774