I thought Harvey Haddix of Pirates circa 1956 pitched 12 perfect innings, only to lose in 13, no?

More as follow-up to ? abt losing a no-hitter. I recall collecting baseball cards in early 60's and Haddix was still active then, and a cartoon on the back of the Topps Card chronicled his loss as one of baseball's ironies. I don't recall exactly the year, but pretty sure it was well before Maz's miracle HR.