(3S,4aS,8aS,2'R,3'S,3R,3aR,7aS)-N-tert-Butyl-2-[2'-hydroxy-4'-phenyl-3'-[[[(3-hexahydro-4H-furo[2,3-b]pyranyl)oxy]carbonyl]amino]butyl]decahydroisoquinoline-3-carboxamide AIDS-028264 AIDS028264 IsoquinCON Thf-Thp Urethane analog