AIDS-094963 AIDS094963 Pyrene, 1,2,3,3a,4,5,5a,6,7,8,10,10a,10b,10c-tetradecahydro-1-isocyano-1,4,7,7-tetramethyl-, (1S,3aR,4S,5aS,10aS,10bS,10cS)-