1-(2,3-Dihydroxypropyl)-3-methylhydroquinoxalin-2-one AIDS-107851 AIDS107851