(3Z)-3-Benzylidene-1-hydroxy-5-isobutylpyrazine-2,6(1H,3H)-dione AIDS-184409 AIDS184409