As of now, 4k video downloader does download AV1 video, but it is listed as "unknown" and audio is not muxed with the resulting file.
Here is a playlist of the first videos to be encoding with AV1: https://www.youtube.com/playlist?list=PLyqf6gJt7KuHBmeVzZteZUlNUQAVLwrZS