A 42-year-old man presents with central, crushing chest pain that radiates to the jaw. The pain occurred while jogging around the local park. The pain was alleted with rest. The ECG is normal. Diagnosis is?