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