Security Interests vs. Federal Tax Liens and After-Acquired Property vs. Proceeds