Aminophylline and imidazole as convulsants.