Comparison of intravenous AH 5158 (ibidomide) and propranolol in asthma.