Many more antibiotics were made following the end of what war?