Simulations and active learning enable efficient identification of an experimentally-validated broad coronavirus inhibitor