Carvalho Neto, Antonio Alves de, Tribunal de Contas da União