Bolsa bate recorde e fecha acima dos 158 mil pontos; dólar cai a R$ 5,33