Ex-vice-prefeito de Bernadino Batista, Antonio Estrela de Abrantes, morre aos 90 anos