3-Ethyl-1,5-dimethylhexahydro-4H-pyrrolo[3,4-c]isoxazol-4-one AIDS-145691 AIDS145691 NSC671018