Yeah looks like Micheal Douglas was using that name professionally about decade before Michael Keaton started his career so union rules would require an alternate name.
(As an aside, when Michael Douglas first attained prominence in the early 80s, I thought briefly that he was maybe the 70s daytime talk show host, Mike Douglas.)