Knowledge of tax-related proceeding necessary for obstruction conviction