1-(((2-Propynylamino)carbonyl)oxy)-2,5-pyrrolidinedione AIDS-135307 AIDS135307 NSC634771