Theoretical Models for Classification as Cardioprotective Agents of Mitochondrial-KATP Channel Openers (mito-KCOs) Possessing the 4-Spiro-substituted Benzopyranic Structure