Leak in Basement Concrete Wall

I think this is an old hole from a PVC pipe from an old water heater. It's starting to leak pretty bad, how can I patch it?

I think this is an old hole from a PVC pipe from an old water heater. It's starting to leak pretty bad, how can I patch it?