In your opinion is there any chance that the file could become active again?
Normally, any threat, that is renamed,eg,virus.exe, to to,virus.exe.xxx,is dead,and can be easily deleted.This file was found in system restore, which is no worry anyway.I would disable system restore, then re-enable.