TRF reduz pena, mas mantém condenação de ex-presidente da Petrobras