Sanofi mulls Mirati buy as KRAS battle heats up: Bloomberg