1-(2,3-Dihydroxypropyl)-3-benzylhydroquinoxalin-2-one AIDS-107852 AIDS107852