(3Z)-5-Benzyl-3-(4-fluorobenzylidene)-1-hydroxypyrazine-2,6(1H,3H)-dione AIDS-184413 AIDS184413