How to add person to contacts from a message (person auto linked w/ facebook)

I got a message from someone not in my contacts. The number was automatically recognized as one of my Facebook friends. How do I add this person to my Google Contacts without copying down the number and adding them manually? There is no "Add Contact" button...