Pegar a data do arquivo e jogar diretamente no awk como uma variável

[Cristiano Amaral]

Senhores tenho um arquivo com o seguinte conteúdo :

Nov 25 16:17:01 corp-bbb-exp open: user 11111111111 opened INBOX/Arquivo Remoto/Orcamento
Nov 26 17:17:01 corp-bbb-exp open: user 22222222222 opened INBOX/Antigas
Nov 27 18:17:01 corp-bbb-exp open: user 33333333333 opened INBOX/Arquivo Remoto/Pessoal

Estou tentando formatar a data como FT :

awk -v a=`date --date "Nov 25 16:17:01" +%FT%T` '{ print a, $7}' arquivo.txt

A pergunta é como faço para pegar a data do arquivo e jogar diretamente no awk como uma variável ?