(3Z)-5-Isobutyl-1-(methoxymethoxy)-3-(2-methylpropylidene)pyrazine-2,6(1H,3H)-dione AIDS-184416 AIDS184416