enveloping algebra of an associative algebra