Ohmen,
You can't go wrong using distilled water. Adding alcohol or any type of detergent risks leeching chemical stabilants out of the vinyl. Years ago, the Discwasher company sold a secret formula "D3" cleaning solution for its special brush. It was pricey and I always suspected it was just distilled water but I'm sure it earned millions for the inventor. It's likely still available.
There are dedicated cleaning machines from VPI that can do a very good job of cleaning vinyl with or without a distilled water/alcohol combo. An obsessive LP collector friend or mine uses one of those machines for his 10,000-record LP collection.
Regards,
