AIDS-107451 AIDS107451 Pyrazine-2-carboxylic acid, (1S,2R,5S)-2-isopropyl-5-methyl-cyclohexyl ester