I cannot tell what sort of agent might have been used, although I may tend to go with a choking agent (like chlorine) which is (usually) far less deadly than sarin or tabun and is not persistent. (Note, some other choking agents like phosgene are really, really nasty)