下面4个工具中，属于多媒体文件编辑工具的是（ ）。