Joaquim Martins S. de O. C. Leão, Antonio, Brasil