German drugmaker BioNTech has struck a deal to buy U.K.-based AI startup InstaDeep for £562mn ($683mn).