It appears that an MP4 was output, according to the log, but that might've been from a previous connection to the same server. This needs replication and further investigation.
Output #0, mp4, to 'Infected_MP4.mp4':
Metadata:
encoder : Lavf60.16.100
Stream #0:0: Video: mpeg4 (mp4v / 0x7634706D), yuv420p, 768x768, q=2-31, 200 kb/s, 90k tbn
Side data:
cpb: bitrate max/min/avg: 0/0/200000 buffer size: 0 vbv_delay: N/A
Adding frame 11 at timestamp 15.00sec (90%) - video stream completed!
It appears that an MP4 was output, according to the log, but that might've been from a previous connection to the same server. This needs replication and further investigation.