Preparing anti-SARS-CoV-2 agent EIDD-2801 by a practical and scalable approach, and quick evaluation via machine learning