Sorry for the delay. Started a boot scan and it has only just finished. It found two other infected files, different ones, while it was doing that.

Hopefully I have now attached the log.