AIDS-005067 AIDS005067 Isoquin 3t-BuNHCO N-tert-Butyldecahydroisoquinoline-3-carboxamide, (3-S,4aS,8aS)