STF quer reduzir pena de Lula