It's not clear to me that the Romans knew that, or that it informed their choice of that building material. I suspect it's more that they built with what they had, and got lucky that it turns out to be incredibly durable stuff.
https://www.nature.com/news/seawater-is-the-secret-to-long-l...
Sounds like they knew.
Also, due to a lack of reinforcement, Roman concrete structures, at least those that survived, avoided putting concrete in tension. Roman concrete won't last very long in areas of buildings that are under tension. Edit: the implication being that using Roman concrete would make many modern building designs unworkable, particularly taller thinner designs that sway a bit in the wind.