Finally - does he have his DECODED private key, or ENCODED?
If it is ENCODED and he has password, he must use blockstack to decode it.
What he posted is not a private key HEX form (ef242kfjj24ekf3223...) and cannot be easily converted into WIF.
21XO: were you able to launch blockstack and retrieve your private key?
Maybe it's a base36 string.
Converting it into hex using javascript gives this:
"14e5771b8ad8e800000000000000000000000000000000000000000000000000000000000000000000"
Not sure how to make sense of this number though. It's 82 characters long, to many to be a private key.