Structure Determination of Bitter Principles of Ailanthus altissima. Structures of Shinjulactones F, I, J, and K