Thank You Mask Man is an animated short film based upon a comedy routine by Lenny Bruce, he died in which year, and he was a Jewish-American stand-up comedian, social critic and satirist?