我正在尝试从moviepy和moviepy编辑视频，我想添加4个不同的音频文件。我没有找到任何文档。我猜。这可能吗？
我尝试了很多，但无法弄清楚。
from moviepy.editor import *
audio1=AudioFileClip("audio1.mp3")
audio2=AudioFileClip("audio2.mp3")
audio3=AudioFileClip("audio3.mp3")
audio4=AudioFileClip("audio4.mp3")
#I want to mix all these audio and add it in a video
video=VideoFileClip("video.mp4")
#now add that mixed audio and export it.
#what should I do here to mix all the audio and assign them to a variable.
finalvideo.writevideofile("finalvideo.mp4")