Sedation of children requiring artificial ventilation using an infusion of midazolam.