I’m no guru about this, can’t you navigate to the folder and right click the files and choose restore? If not just cut and paste, but if they’re infected, why would you want to?

I would probably schedule a boot time scan (including all files and archives) and restart after turning off system restore first, then after a restart try an online scan or two.