joao batista martins de araujo