1,3-Dibenzyl-5-hydroxytetrahydropyrrolo[3,4-d]imidazole-2,4,6(5H)-trione AIDS-134931 AIDS134931 NSC634027