Brasil exporta recorde de 4,2 milhões de sacas de café em abril