A 15-year-old boy with asthma is allergic to cats. He went to a friend's house after school who has a pet cat. Later that evening (6 hours after exposure) he stas to wheeze. Which of the following drugs should have been administered in the afternoon to prevent his symptoms?