Oliveira Júnior, Antonio José Saraiva de, Tribunal de Contas da União