jose antonio ribeiro bastos