注射用全身麻酔薬はどれか。