Or, in the virus alert dialog, click Delete, and in the Delete Details window select ‘delete after operating system restart’ (I don’t know the exact phrase, but it should be something like this).
Vlk