Oi, tudo bem?

Na verdade, o arquivo está no formato .csv. Testei em um computador sem o Excel instalado e, ao extrair, ele permaneceu como .csv. Enquanto, no meu que possui excel, de fato ele converteu automaticamente para .xlsx. O que pode estar acontecendo é que o Windows está configurado para abrir automaticamente arquivos .csv no Excel e, além disso, pode estar ocultando a extensão real do arquivo.

Você pode testar desativando essa opção. Teste aqui e funcionou, o arquivo extraído manteve a extensão .csv.

Siga estes passos:

1. Abra o menu Iniciar Windows
2. Pesquise por "Opções do Explorador de Arquivos" na barra de pesquisa.
3. Na janela que abrir, vá até a aba Modo de Exibição.
4. Role a lista para baixo e desmarque a opção:
   • "Ocultar extensões para tipos de arquivo conhecidos".
5. Clique em Aplicar e depois em OK.

Faça um novo download do arquivo.

Mas de toda forma, mesmo com a extensão xlsx, no momento de importar o Excel irá reconhecer como csv. Como mostro abaixo:

Caso você tenha alguma dificuldade nesse processo, fique à vontade em perguntar. Fico à disposição.

Abraços!