Asia stocks mixed as tech rally cools on Wall St losses; KOSPI hits record high