2,8-Difluoroindolo[2,1-b]quinazoline-6,12-dione AIDS-092980 AIDS092980