2,3-Bis-[(2-hydroxy-2-neopentyl)ethenyl]quinoxaline AIDS-170657 AIDS170657