Enveloping algebra of an associative algebra