Gas gangrene and hyperbaric oxygen. (1972)