As always tipped 'Isopropenol'. It's what printing companies use to get ink off the plates, and is non destructive to records, but get's grime, greasy marks (fingerprints) and dirt off really well, even takes permanent marker pen off non smudgable surfaces.
I used it for years when I had my record shops and it brings them up like new.