Choose from .mov, .mp4, .avi.
Extract audio
Delete audio
Select the export format:
mp4
mov
avi
gif
Export