AIDS-085280 AIDS085280 [2-((2R)-4-{4-(tert-Butyl)-6-[N-(tert-butyl)carbamoyl]cyclohexa-1(6),2-dienyl}-2-hydroxybutyl)naphthyl]-N-(tert-butyl)carboxamide