Araújo, Carlos Maurício Lociks de, Tribunal de Contas da União