Envoyer par SMS: Ontological modeling and analysis of experimentally or clinically verified drugs against coronavirus infection