Perhaps using Disk Cleanup >Cleanup System files >Temporary files would do it?
https://www.tenforums.com/tutorials/3012-open-use-disk-cleanup-windows-10-a.html
(The full (all drives) MRT scan is still running, so far it reports 8 files infected that the quick scan had not shown. This is the first time that I have manually run a MRT full scan, interested to see what and where these files are.)