What are the side effects of ethylene oxide, and how much is safe for use in hospitals for instrument sterilisation?