以联想Air13电脑为例，操作系统为Windows7家庭版，我们可以使用格式工厂X645.0.1软件进行视频格式转换。操作步骤如下：
1. 打开格式工厂软件。
2. 在格式工厂主界面中，选择MP4格式选项，并点击添加文件按钮。
3. 在文件浏览窗口中，找到之前从腾讯下载好的视频文件，然后点击打开按钮。
4. 在格式工厂界面中，确认视频文件已经被添加到任务列表中，然后点击确定按钮。
5. 最后，点击开始按钮开始转换视频格式。
通过以上简单步骤，我们可以利用联想Air13电脑上的Windows7家庭版操作系统以及格式工厂X645.0.1软件来进行视频格式转换。
