AIDS-139667 AIDS139667 Allyl 3-(5,5-diphenyl-4,5-dihydro-2.lambda.~5~-isoxazol-2-yl)propanoate NSC649442