O betabloqueador, dentre os abaixo, mais indicado para o tratamento inicial de pacientes cirróticos com ascite e com varizes esofágicas grandes é o