before being converted to a mosque by the Ottomans in 1453