A quick guide to deleting locked files that are known to contain malware and which otherwise could not be removed