Andrade, Antonio Rodrigues de, Brasil