1,5-Dibenzoyl-2,4-dimethyl-1,2,4,5-tetrazinane AIDS-013628 AIDS013628 NSC100306