Dilute orange peel cleaner 1:3 cleaner to water ratio. Spray on surface, let sit for 10 minutes, wipe away with clean rag or paper towel. Mop thoroughly with clean water after use.

eBay sells it for $26.98 - Ardrox 6076 made by Chemetall.