osman mahmud antor