Petrochemical constraints on lateral transport during lunar basin formation