This lens profile was added in Lightroom 6.2
You need to upgrade to Lightroom 6.2 for this.
Refer this article : Working with lens profiles in Adobe Camera Raw, Photoshop, and Lightroom
I don't see why I should have to upgrade. First my version is quiet recent and furthemore I would have to move from a local version to a cloud what I don't expect to do on a short notice. I think Adobe has to deliver such a new profile. New lenses are put on the market regurlarly and so should adobe do for the new profiles.
Lightroom 5.7 is not "quite recent". It is software that is no longer supported or updated by Adobe. You would do well to upgrade to Lightroom 6 if you don't want to be on the creative cloud. You can purchase an upgrade for $79 US at the following website: Products
Lightroom is near the bottom of the page. At first you will see a price of $149. Change the option to an upgrade and indicate the version that you have and the price will change. Lightroom 6 is a standalone version, does not require the creative cloud or a subscription. You will have access to Lightroom Mobile, and there are a couple of features that have been added since Lightroom 6 was released. Those features are only available to those who subscribe to the creative cloud.