1-(((Allylamino)carbonyl)oxy)-2,5-pyrrolidinedione AIDS-135308 AIDS135308 NSC634772