5-(3-Oxobutyl)-3a,4,5,6-tetrahydropyrrolo[3,4-c]pyrazole-6a(3H)-carbonitrile AIDS-148126 AIDS148126 NSC679451