1H-Isoindole-1,3(2H)-dione, 4,5,6,7-tetrafluoro-2-(3-methyl-2,6-dioxo-3-piperidinyl)- AIDS-057105 AIDS057105