An Andy Warhol portrait of former Chinese leader Chairman Mao Zedong is sold in Hong Kong for US$12.6 million (S$17.6 million).