Pinto de Carvalho, Ednusia, Brasil