Please answer and show work. Thank you.

Give a mapping reduction from ATMM,w| M is a TM and M accepts w to the language B = {4 is a TM that recognizes an infinite language}