US stocks mixed Friday after record highs