An auction of prestigious Australian artworks sets world records for four artists, clearing almost $9 million in total.