AI has designed bacteria-killing proteins from scratch – and they work