jim,
There are other ways to delete the files in "batch", but that depends on what the filenames are....and their extensions.
If they are similar or even better the same extensions, then do a Search run. Alphabetize them by clicking on the Name tab at the header, then when you find the "grouping" use Shift and down arrow to highlight.....then delete.
PS: I also doubt that you have 1400 infected files.