A Bolsonaro defeat will not fully undo his damage to Brazilian science