Same problem here with a video file downloaded from Google Drive (without extension).
The file is not corrupted, I'm using VLC version 3.0.20.
With a video file without extension I can't convert to mp3.
If I add .mp4 as extension the conversion works like a charm.