Source: IRS officials knew of agents' tea party targeting in 2011