With rare exceptions just an ordinary delete will do. I think you can safely say that that virus (or at least that copy of it) has been as thoroughly “sterilized” as is possible and won’ t be bothering you or anyone else again.