(3Z)-3-(4-Fluorobenzylidene)-1-hydroxy-5-isobutylpyrazine-2,6(1H,3H)-dione AIDS-184410 AIDS184410