Pharmacological studies on stimulation-produced analgesia in mice