puredrifting
Major Contributor
Not so sure of NASA had much to do with the design but I do know that they were Zeiss f.07, manufactured by Zeiss and were made to work with the Mitchell BNC motion picture camera by Ed DeGiulio, the president of Cinema Products. http://www.visual-memory.co.uk/sk/ac/len/page1.htm
They were originally still camera lenses and had to be quite extensively modified. It is one of my favorite scenes and Lyndon is definitely one of Kubrick's most underrated films. The film is too long for most viewers but I love it. Watch the first two hours, take a break, stretch, then go for for the final stretch.
Dan