AVC1 is just H264[0]. FFmpeg says stream 0 is "Video: h264"
The page you linked about AV1 in mp4 says it uses MPEG-4 Part 31, which is under development and not final [1]. Until now I was not aware they were extending the MPEG-4 container standard to include more formats.