De brasilianska revolutionärerna äro besegrade.