Tensor-optimized high-momentum antisymmetrized molecular dynamics with a bare interaction, and its application to the He4 nucleus