AIDS-060994 AIDS060994 N-({(5R)-5-[N-(tert-butyl)carbamoyl]-3-hydroxy-1-(2-methylpropyl)pyrrolidin-3-yl}methyl)(tert-butoxy)carboxamide Proline analog Thiazolidine analog