Thanks, lee. Trend Micro could not download, but I successfully ran RAV scan, which found no viruses (Phew!)
I now have the problem of finding out what else might be wrong – software conflict, perhaps?