Describir: Ontological modeling and analysis of experimentally or clinically verified drugs against coronavirus infection