In what year were hops first known to be used in beer