I agree with Faldage, capitalizing the surname is probably to help Westerners figure out which it is.
I believe we wrote Mao's full name as Mao Tse-Tung (although now I understand it is "Mao Zedong") so I would be inclined to go with your third or fourth option.