Um paciente de 35 anos com TCE grave é internado na UTI com PIC monitorizada por DVE. Após otimização das medidas de suporte básico, a PIC permanece sustentadamente acima de 22 mmHg. Conforme as medidas de primeira linha para controle da hipertensão intracraniana, o sedativo de escolha deve ser: