Brasiliens Oberster Gerichtshof senkt Haftstrafe für Ex-Präsident