lightworkerarts on "[Theme: PageLines] JS files infected with malware... no backup available of clean files"

We were alerted to these two files in the "pagelines" theme (in the "js" subdirectory) as being infected:

script.bootstrap.min.js?ver=2.3.1

script.blocks.js?ver=1.0.1

The malware is: web.js.injection.megaadvertize.001

Can anyone help me how to clean or replace these files?

I deleted them, and am battling to create and edit pages/posts.

Thanks
Peter