Lens Suggestion for Macro Photography on Raspberry PI HQ Camera Module

Just beginning with work using Raspberry PI camera. Currently I have V1 camera attached. However, I am looking to go the the HQ camera module, but since I need a lens for that, I am wondering which lens I would need for the following application.

I am taking pictures of 16mm film and want the width of the captured scene to be limited to 16mm. The distance from the film can be anywhere from 15 to 30mm.

I would appreciate suggestions on what lens can be used with the RPi HQ camera at that distance with minimal lens distortion.