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 alleviated with rest. The ECG is normal. Diagnosis is?