Almost certainly, the names ring a bell, a search for these files in the forums will confirm this.
If you can send the samples to avast great.
Send the sample to virus@avast.com zipped and password protected with password in email body and false positive/undetected malware in the subject. Or you can also add the file to the User Files (File, Add) section of the avast chest and send it from there (right click, email to Alwil Software). No need to zip and PW protect when the sample is sent from chest.
Yes you can rename them hldrrr.exe.vir, etc. which is also a method used by avast so it retains the original file name which could help with analysis. However If you know their location try to add them to the user files section of the chest where that can do no harm.
If you can't send a sample to avast, that's too bad, the priority is cleaning your system.