HAT-P-20b-HAT-P-23b: Four Massive Transiting Extrasolar Planets