arxiv Enveloping algebra is a Yetter--Drinfeld module algebra over Hopf algebra of regular functions on the automorphism group of a Lie algebra