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