Один из рецептов так называемого "техасского коктейля" включает тиопентал натрия, павулон и хлорид калия. Назовите то, вместо чего в 1982 году был введен этот коктейль.