Araújo, Paulo Sisnando Rodrigues de, Tribunal de Contas da União