Mivacurium in the myasthenic patient.