Is there a vaccine for gas gangrene