I haven't brewed in a while. Talking to a brewer recently he said he adds hops in the mash. Have any of you done this? What's the advantage?