Just read the suggestion made by Tim Colman.
How would that be done?
Do you simply copy the folder within a WP installation … run the Anti-Malware plugin … repair the files within the folder … then overwrite the old, infected folder with the new, cleaned-up folder?
Is that it?
Thanks for any clarification.