Hilaria is a real Spanish name. There’s an old lady (from Puerto Rico) named Hilaria in my church. Hilario is also a name.
I know a couple with Hilario as a last name as well.