can a virus survive a hard drive format?