Martins Junior, Antônio, Tribunal de Contas da União