I just checked on the Majestic honda site and they list the same part number for the Mitsubishi and the Nippon Denso alts (interchangeable?) for our generation Civics.
One thing though, they list different pulley part numbers for each alt (different diameter, or number of ribs?).
Good Luck.