Что-то мне подсказывает, что это был не видеофайл, а .exe файл, просто с иконкой видео. Простые видео не могут нести в себе вирус.