1 1/2 tablespoons aleppo pepper* or 2 teaspoons dried crushed red pepper plus 2 teaspoons hungarian sweet paprika, plus additional aleppo pepper or paprika for sprinkling