1H-Isoindole-1,3(2H)-dione, 2-(2,6-dioxo-3-piperidinyl)-4,5,6,7-tetrafluoro- AIDS-051632 AIDS051632 Tetrafluorothalidomide