neuromuscular blocking agent (trade name Flaxedil) used as a muscle relaxant in the administration of anesthesia