AVELINO DE ARAUJO (Brasil)