1H-Isoindole-1,3(2H)-dione, 4,5,6,7-tetrafluoro-2-[(3S)-3-methyl-2,6-dioxo-3-piperidinyl]- AIDS-026403 AIDS026403