These are currently supported - Supported lenses
You can use the Adobe Lens Profile Creator to create your own custom profile when no profile exists.
The lens is on the list but lightroom cc wasn’t doing anything about it
Make sure you're working with a raw file.....it sounds as though you've got a jpeg selected. The vast majority of lens profiles are specific to raw files. If I select a jpeg file, then yes the only Sony profile available for that file-type is the 18-200.
Yep, I almost always work in Raw - occasionally (R+J) - but I had been having some issues with focusing, wondered if my kids had changed a setting, so carried out a camera settings reset....hence it was jpg....