The present invention concerns production of a compound of the formula or
a pharmaceutically acceptable salt thereof by a process which utilizes
the cyclization of a compound of the formula: where Ar, Y, R.sup.1,
R.sup.y, R.sup.2, and m are as defined herein.